Condensed State Spaces for Timed Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Some equivalences on ATC: actors with temporal constraints
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
Natural Computing: an international journal
Analyzing Paths in Time Petri Nets
Fundamenta Informaticae
The right timing: reflections on the modeling and analysis of time
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hi-index | 0.00 |