共 50 条
- [2] State Space Generation for Petri nets-based GALS Systems [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2012, : 620 - 625
- [3] DISCRETE EVENT SYSTEMS AND LIFE CYCLE: A PETRI NETS-BASED VIEW [J]. INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 5 - 12
- [4] An algebraic approach to Petri nets-based representation of complex discrete systems [J]. SIMULATION IN INDUSTRY 2001, 2001, : 959 - 964
- [5] Petri Nets-Based Automatic Generation GUI Tools for Embedded Systems [J]. 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2, 2008, : 269 - +
- [6] Towards Evolving Petri Nets: a Symmetric Nets-based Framework [J]. IFAC PAPERSONLINE, 2018, 51 (07): : 480 - 485
- [7] Coloured Petri Nets-Based Modeling and Validation of Insulin Infusion Pump Systems [J]. APPLIED SCIENCES-BASEL, 2022, 12 (03):
- [8] Petri nets-based model for the analysis of NORIA protocol [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2015, 27 (17): : 4704 - 4715
- [10] Petri nets-based models for basic authentication procedure [J]. COMMUNICATION AND MANAGEMENT IN TECHNOLOGICAL INNOVATION AND ACADEMIC GLOBALIZATION, 2010, : 57 - 61