Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Partial S-Invariants for the Verification of Infinite Systems Families
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Building Occurrence Nets from Reveals Relations
Fundamenta Informaticae
Hi-index | 0.89 |