共 50 条
- [2] Formal description of CSCW using extended Petri nets PROCEEDINGS OF SECOND INTERNATIONAL WORKSHOP ON CSCW IN DESIGN, 1997, : 278 - 281
- [3] Modelling of the human factor using Petri nets 2007 IREP SYMPOSIUM- BULK POWER SYSTEM DYNAMICS AND CONTROL - VII REVITALIZING OPERATIONAL RELIABLITY, VOLS 1 AND 2, 2007, : 601 - +
- [5] Structural Differential of Petri Nets PROCEEDINGS OF 2008 INTERNATIONAL PRE-OLYMPIC CONGRESS ON COMPUTER SCIENCE, VOL I: COMPUTER SCIENCE AND ENGINEERING, 2008, : 137 - 142
- [6] Using colored Petri nets to simulate object Petri nets International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
- [7] Description of hybrid systems by modified Petri nets MODELLING, ANALYSIS, AND DESIGN OF HYBRID SYSTEMS, 2002, 279 : 15 - 36
- [8] The description of CORBA objects based on Petri nets FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 48 - 56
- [9] Structural properties of a class of Petri nets MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 215 - 220
- [10] Deciding Structural Liveness of Petri Nets SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 91 - 102