共 50 条
- [2] On Persistency in Time Petri Nets FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2018, 2018, 11022 : 108 - 124
- [4] High undecidability of weak bisimilarity for Petri nets TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 349 - 363
- [5] Weak Boundedness of Timed Continuous Petri Nets PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC), 2013, : 185 - 189
- [6] Weak Time Petri Nets Strike Back! CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 557 - +
- [7] Weak and strong composition of high-level Petri nets CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 194 - 209
- [8] From Coloured Petri Nets to Object Petri Nets APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297