共 50 条
- [1] Elevator dynamic simulation using Petri nets Systems Analysis Modelling Simulation, 2001, 40 (02): : 207 - 238
- [2] Controlled stochastic Petri nets SIXTEENTH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 18 - 25
- [3] ON CONTROLLABILITY OF CONTROLLED PETRI NETS CONTROL-THEORY AND ADVANCED TECHNOLOGY, 1989, 5 (03): : 265 - 275
- [4] Requirements engineering for reactive systems: Coloured petri nets for an elevator controller 14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 294 - +
- [5] Robustness of a class of controlled Petri nets PROCEEDINGS OF THE THIRTY-SIXTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2004, : 92 - 96
- [6] Grammars Controlled by Special Petri Nets LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 326 - +
- [7] CONTROLLED EXECUTIONS OF TIMED PETRI NETS TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (01): : 23 - 31
- [9] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
- [10] Dynamically coloured petri nets for air traffic management safety purposes TRANSPORTATION SYSTEMS 1997, VOLS 1-3, 1997, : 169 - 174