The box algebra = Petri nets + process expressions
Information and Computation
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
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
Extending the Petri Box Calculus with Time
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Fundamenta Informaticae
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
Verification of bounded Petri nets using integer programming
Formal Methods in System Design
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Operational semantics for Petri net components
Theoretical Computer Science
A compositional model of time Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
A generalisation of a relational structures model of concurrency
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
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
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Fundamenta Informaticae
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
Hi-index | 5.23 |