Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
OB(PN)2: an object based petri net programming notation
Concurrent object-oriented programming and petri nets
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Weak and Strong Composition of High-Level Petri-Nets
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Compositional Petri Net Semantics for SDL
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
M-net Calculus Based Semantics for Triggers
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
System Specification and Verification Using High Level Concepts - A Tool Demonstration
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
Parametric stochastic well-formed nets and compositional modelling
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Hierarchical timed high level nets and their branching processes
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Branching processes of high-level Petri nets
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Expressiveness and efficient analysis of stochastic well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Factorization properties of symbolic unfoldings of colored petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Testing and Debugging Message Passing Programs in Synergy with their Specifications
Fundamenta Informaticae
Generalised Composition Operations for High-level Petri Nets
Fundamenta Informaticae
| Hi-index | 0.00 |