An Environment for Specifying and Executing Hierarchical Petri Nets.

Heinz Oswald, Rob Esser, R. Mattmann

Browse the full ICSE paper archive.