The box algebra = Petri nets + process expressions
Information and Computation
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
The Box Algebra - A Model of Nets and Process Expressions
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Performance Validation of Fault-Tolerance Software: A Compositional Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
A congruence relation for sPBC
Formal Methods in System Design
Petri nets and programming: a survey
ACC'09 Proceedings of the 2009 conference on American Control Conference
A compositional model of time Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
| Hi-index | 0.00 |