XPAT: An Interactive Graphical Tool for Synthesis of Concurrent Software Using Petri Nets.

Yiannis E. Papelis, Thomas L. Casavant

Browse the full ICPP paper archive.