Description
Low-level Petri nets can be analyzed for modeling and verification work.
This package is useful for researchers, students, and engineers studying concurrent systems. It is a formal-analysis tool, not a general diagram editor.
Model-analysis results depend on the model definition. Validate assumptions before drawing engineering conclusions.