Class PETRI-NET

Petri nets are an extension of state-transition diagrams, useful to represent parallel processes and scripts.

Subclass-Of: Diagram

Axioms:

(=> (Petri-Net ?Self)
    (Exists (?A)
            (And (Strictly-Depends-On ?Self ?A) (Graph-Theory ?A))))

• Defined in theory: Diagrams
• Source code: Diagrams.lisp