Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Hierarchical Reachability Graph Generation for Petri Nets
Formal Methods in System Design
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
Journal of Integrated Design & Process Science - Component-Based System Development
Safety Properties In Petri Net Modules
Journal of Integrated Design & Process Science
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae
A hierarchical decomposition of decision process Petri nets for modeling complex systems
International Journal of Applied Mathematics and Computer Science
Hi-index | 0.00 |