共 50 条
- [31] Object Petri nets - Using the nets-within-nets paradigm LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 819 - 848
- [32] Human cognitive analysis of disassembly planning using Fuzzy Petri Nets ENVIRONMENTALLY CONSCIOUS MANUFACTURING IV, 2004, 5583 : 23 - 30
- [33] Derivation of non-structural invariants of Petri Nets using abstract interpretation APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS, 2005, 3536 : 188 - 207
- [34] DESCRIPTION AND DEFINITION OF QUEUING-SYSTEMS BY NUMERICAL PETRI NETS AUSTRALIAN TELECOMMUNICATION RESEARCH, 1980, 13 (02): : 20 - 31
- [35] Constructing Petri Nets Model for Dynamic Description Logic Actions PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL III, 2009, : 753 - +
- [37] From Petri nets to formal description techniques and protocol engineering Ruan Jian Xue Bao/Journal of Software, 2000, 11 (05): : 606 - 615
- [38] FORMAL MODEL FOR DESIGN AND DESCRIPTION OF PROTOCOLS ON THE BASIS OF PETRI NETS AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1988, (06): : 3 - 10
- [39] State variable description and controllability of a class of continuous Petri nets ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 3, 1996, : 68 - 71
- [40] DESCRIPTION AND DEFINITION OF QUEUEING SYSTEMS BY NUMERICAL PETRI NETS. ATR, Australian Telecommunication Research, 1980, 13 (02): : 20 - 31