, ? is static iff ?.B is static, and ? is dynamic iff ?.B is dynamic
, If ? is static or dynamic, then ? and ? are static boxes
, If ? is static
,
The Petri Box Calculus: a New Causal Algebra with Multilabel Communication, Advances in Petri Nets, vol.1, pp.21-69, 1992. ,
A Unified Model for Nets and Process Algebras, pp.873-944, 2001. ,
Petri Net Algebra, EATCS Monographs on TCS, 2001. ,
Hopkins: B(PN) 2 -a Basic Petri Net Programming Notation, Proc. of PARLE '93, vol.694, pp.379-390, 1993. ,
An Algebra of Non-safe Petri Boxes, Lecture Notes in Computer Science, vol.2422, pp.192-207, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-02309988
, Asynchronous links in the PBC and M-nets. Proc. of ASIAN'99, vol.1742, pp.190-200, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00114697
Plotkin: A Structural Approach to Operational Semantics, 1981. ,