Orchestrate microservice-based process flows
Petri Net Workflow Engine for Ruby.
library for modeling Petri nets in Erlang
The LTSmin model checking toolset
Using for petri nets simulations
The jBPT code library is a compendium of technologies that support resea...