System modelling with high-level Petri nets
- 31 December 1981
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 13 (1), 109-135
- https://doi.org/10.1016/0304-3975(81)90113-4
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Elements of general net theoryPublished by Springer Nature ,1980
- Facts in place/transition-netsLecture Notes in Computer Science, 1978
- Consistency and correctness of duplicate database systemsACM SIGOPS Operating Systems Review, 1977
- The calculus of factsLecture Notes in Computer Science, 1976