Modeling, Simulation and Analysis of Batch Production Systems
Discrete Event Dynamic Systems
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
A new graph of classes for the preservation of quantitative temporal constraints
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.01 |