… We define an algebraic framework based on non-safe Petri nets, which allows … algebra of
process expressions, whose constants and operators directly correspond to those used in Petri …

… The basic process algebraic setup we take as our starting point is the Petri Box Calculus (…
one to start from non-safe markings (even though we shall generally refrain from doing so in …

… However, Petri nets and our approach open the doors to various interesting generalisations,
like that allowing one to start from non-safe markings (even though we shall generally …

… A new Petri net calculus called the calculus of Petri Boxes is described. It has been designed
to allow reasoning about the structure of a net and about the relationship between nets, …

… is not regular, the corresponding LDTSIPN can be non-safe (though, it is 2-… Algebra of
dtsi-boxes Now we introduce discrete time stochastic and immediate Petri boxes and the algebraic …

… The mentioned inconsistency can result in non-safe nets [3]. … Algebra of dtsi-boxes. We
now introduce discrete time stochastic and immediate Petri boxes, and the algebraic operations …

… translated to equivalent Petri-net fragments called boxes. At first sight, these boxes may bear
… Non-ordinary and/or non-safe P/T nets can be encoded in this format by erasing information …

… algebraic equalities for High Level Petri Boxes. Following this is a brief discussion of structural
and behavioural equivalences on High Level Petri Boxes … in general in non-safe systems …

… algebraic extension to Petri nets in the sense of process algebra is briefly described - the Petri
box … In a non-safe net a firing sequence needs not always determine a unique process; in …

… —Petri box calculus PBC is a well known algebra of concurrent processes with a Petri net
… the corresponding LDT SIPN can be non safe (though, it is 2 bounded in the worst case [6]). …