Place/Transition Petri Nets and Causal Petri Nets

Partial Order Semantics and Processes of Petri Nets

N-Density, K-Density, Boundedness

D-Continuity, Frozen Tokens