research-document

Petri Nets

Petri Nets

Current identity: notation

Capabilities: Representation, Modeling, Simulation, Evaluation

Current status: draft

Current characterization: kacs-v1.yaml

Short notes: Formal modeling notation.