An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Extending the Petri Box Calculus with Time
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
A congruence relation for sPBC
Formal Methods in System Design
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
| Hi-index | 0.00 |