A Systematic Approach to the Petri Net Based Specificationof Concurrent Systems
Real-Time Systems - Special issue on safety-critical systems
Translating Time Petri Net Structures into Ada 95 Statements
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Translating TPAL Specifications into Timed-Arc Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Formal approach to railway applications
Formal methods and hybrid real-time systems
Science of Computer Programming
Modelling railway interlocking tables using coloured petri nets
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
A colored Petri net model for the France Paris metro system
SEPADS'12/EDUCATION'12 Proceedings of the 11th WSEAS international conference on Software Engineering, Parallel and Distributed Systems, and proceedings of the 9th WSEAS international conference on Engineering Education
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |