Class PN-CIRCLE

Subclass-Of: Diagram-object

Axioms:

(=> (Pn-Circle ?Self)
    (And (Exists (?A) (And (Part-Of ?Self ?A) (Petri-Net ?A)))
         (Exists (?B) (And (Represents ?Self ?B) (*State ?B)))))

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