metamodel

Declarative Petri-nets using a rust DSL.

lib.rs:

Metamodel - A Rust Library for Abstract State Machine Modeling

• Provides a DSL-driven framework for modeling and simulating Petri-nets, wf-nets, and DFAs.
• State machine data types are executed as a Vector Addition State Machine (VASM).
• Data models are viewable / shareable in browsers by using https://pflow-dev.github.io/pflow-js/p/