共 50 条
- [1] UML and Petri Nets for design and analysis of distributed systems [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2000, : 610 - 615
- [2] Modeling and Verifying Distributed Systems with Petri Nets [J]. PROCEEDINGS OF THE 2012 IEEE SECOND INTERNATIONAL WORKSHOP ON ADVANCED INFORMATION SYSTEMS FOR ENTERPRISES (IWAISE 2012), 2012, : 92 - 92
- [3] Distributed algorithms: Modeling and analysis with Petri Nets [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 38 - 43
- [4] Analysis of the operational Petri nets by a distributed system [J]. MODERN PROBLEMS OF RADIO ENGINEERING, TELECOMMUNICATIONS AND COMPUTER SCIENCE, PROCEEDINGS, 2004, : 319 - 322
- [5] DISTRIBUTED EMBEDDED SYSTEMS DESIGN USING PETRI NETS [J]. 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS, 2013,
- [6] Modeling and Integration of Hospital Information Systems with Petri Nets [J]. PROCEEDINGS OF 2009 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATION, LOGISTICS AND INFORMATICS, 2009, : 190 - +
- [7] Scheduling analysis based on Petri nets for distributed real time embedded systems [J]. Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2007, 37 (03): : 616 - 620
- [8] High Level Petri Nets, a Tool for Modelling and Analysis of Distributed Systems. [J]. Informationstechnik, 1988, 30 (02): : 110 - 117
- [9] Analysis of Petri Nets and Transition Systems [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (189): : 53 - 67
- [10] A reliability analysis of distributed programs with Colored Petri Nets [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 3975 - 3980