Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems.

Robert G. Pettit IV, Hassan Gomaa

Browse the full ICECCS paper archive.