arcs (or flow relations).

Definition 2. Given a net N = (P, T, F), a configuration is a set C so that .

Definition 3. An elementary net is a net of the form EN = (N, C) where
# N = (P, T, F) is a net.
# C is such that is a configuration.

Definition 4. A Petri net is a net of the form PN = (N, M, W), which extends the elementary net so that
# N = (P, T, F) is a net.
# is a place multiset, where Z is a countable set.

1.Previous
3.Next