共 50 条
- [31] Comparative trace semantics of time Petri nets Programming and Computer Software, 2015, 41 : 131 - 139
- [35] Reactive Semantics for Component Based Petri Nets 2012 2ND IEEE INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND GRID COMPUTING (PDGC), 2012, : 795 - 805
- [37] On semantics of Petri nets over partial algebra SOFSEM'99: THEORY AND PRACTICE OF INFORMATICS, 1999, 1725 : 414 - 421
- [39] Canonical Transition Set Semantics for Petri Nets APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 84 - 103
- [40] On occurrence net semantics for Petri nets with contacts FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 317 - 328