, ? 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

. ?-=-?-=-?-=-?,

?. B-=-?.b-,-?-=-?-=-?-=-?, ?. B-=-?-=-?-=-?-.-;-e, R. Best, J. Devillers, and . Hall, The Petri Box Calculus: a New Causal Algebra with Multilabel Communication, Advances in Petri Nets, vol.1, pp.21-69, 1992.

E. Best, R. Devillers, and M. Koutny, A Unified Model for Nets and Process Algebras, pp.873-944, 2001.

E. Best, R. Devillers, and M. Koutny, Petri Net Algebra, EATCS Monographs on TCS, 2001.

E. Best and R. P. , Hopkins: B(PN) 2 -a Basic Petri Net Programming Notation, Proc. of PARLE '93, vol.694, pp.379-390, 1993.

R. Devillers, H. Klaudel, M. Koutny, and F. Pommereau, 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

H. Klaudel and F. Pommereau, 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

G. D. , Plotkin: A Structural Approach to Operational Semantics, 1981.