Merged processes: a new condensed representation of Petri net behaviour.
Saved in:
| Title: | Merged processes: a new condensed representation of Petri net behaviour. |
|---|---|
| Authors: | Khomenko, Victor1, victor.khomenko@ncl.ac.uk, Kondratyev, Alex2, kalex@cadence.com, Koutny, Maciej1, maciej.koutny@ncl.ac.uk, Vogler, Walter3, walter.vogler@informatik.uni-augsburg.de |
| Source: | Acta Informatica; Dec2006, Vol. 43 Issue 5, p307-330, 24p, 7 Diagrams, 2 Charts |
| Database: | Applied Science & Technology Source |
| ISSN: | 00015903 |
|---|---|
| DOI: | 10.1007/s00236-006-0023-y |
