共 50 条
- [33] A State Class Construction for Computing the Intersection of Time Petri Nets Languages FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2019), 2019, 11750 : 79 - 95
- [35] Petri Nets for Modelling of Message Passing Middleware in Cloud Computing Environments COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2016, PT II, 2016, 9787 : 390 - 402
- [36] An elastic controller using Colored Petri Nets in cloud computing environment CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2020, 23 (02): : 1045 - 1071
- [37] Computing bounds for forbidden state reachability functions for controlled Petri nets WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 225 - 230
- [38] A decentralized approach for computing invariants in large scale and interconnected Petri Nets SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 1741 - 1746
- [40] On monotonicity and continuity: computing problematic configurations in timed continuous Petri nets IFAC PAPERSONLINE, 2018, 51 (07): : 493 - 500