Rapid Prototyping of Control Systems Using High Level Petri Nets

@inproceedings{Bruno-Marchetto:ICSE85,
  author    = {Giorgio Bruno and
               Giuseppe Marchetto},
  title     = {Rapid Prototyping of Control Systems Using High Level Petri Nets},
  booktitle = {ICSE},
  pages     = {230--237},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
}