Information System Behavior Specification by High-Level Petri Nets
Andreas Oberweis, Peter Sander
- Anthology ID:
- DBLP:journals/tois/OberweisS96
- Volume:
- 1996 Volume 14 Issue 4
- Year:
- 1996
- Venue:
- tois_journal
- Pages:
- 380–420
- URL:
- https://doi.org/10.1145/237496.237498
- DOI:
- 10.1145/237496.237498
- DBLP:
- journals/tois/OberweisS96
