Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets
IEEE Transactions on Software Engineering
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
Integrating Low Level Symmetries into Reachability Analysis
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Distributed verification with LoLA
Fundamenta Informaticae - Concurrency specification and programming
Using Petri net invariants in state space construction
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Distributed Verification with LoLA
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Finding Symmetries of Algebraic System Nets
Fundamenta Informaticae
| Hi-index | 0.01 |