共 50 条
- [32] Age semantics based State Space Computation of Time Petri Nets. 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2014, : 361 - 368
- [34] On petri nets with hierarchical special arcs 2017, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (85):
- [35] A Categorical Semantics for Hierarchical Petri Nets ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 51 - 68
- [38] Analysis of Petri nets with a dynamic priority method APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 215 - 234
- [40] Bisimulation and the reduction of Petri nets APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 409 - 423