共 50 条
- [31] Modeling Petri Nets Using Alloy TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY, 2012,
- [32] Modeling Fault Tolerated Mobile Agents by Colored Petri Nets ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, ICIC 2015, PT III, 2015, 9227 : 607 - 617
- [33] From Coloured Petri Nets to Object Petri Nets APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
- [38] A Polynomial Time Flow for Implementing Free-Choice Petri-Nets 2012 IEEE 30TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2012, : 227 - 234