Petri Net - Graph View A mathematical modeling language for distributed systems that uses places, transitions, and tokens to represent concurrent processes and resource flow. View concept details Related ConceptsState Machine Turing Machine Graph Theory Event-Driven Architecture Formal Methods Process Calculus Workflow Engine ← Back to full graph