%0 Conference Proceedings %F Darondeau2000a %A Darondeau, P. %T Region Based Synthesis of P/T-Nets and Its Potential Applications %B Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000 %V 1825 %S Lecture Notes in Computer Science %I Springer %C Aarhus, Denmark %U http://link.springer.de/link/service/series/0558/bibs/1825/18250016.htm %8 June %D 2000 %K nets