An Environment for Specifying and Executing Hierarchical Petri Nets

@inproceedings{Oswald-al:ICSE90,
  author    = {Heinz Oswald and
               Rob Esser and
               R. Mattmann},
  title     = {An Environment for Specifying and Executing Hierarchical Petri Nets},
  booktitle = {ICSE},
  pages     = {164--172},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}