A Synthesis Approach to Developing Large Petri Nets.

Yigang Chen, Wei-Tek Tsai

Browse the full ICPP paper archive.