Ex4pm.Engine.WorkflowNet (ex4pm v26.9.9)

Copy Markdown View Source

Alias module for Ex4pmEngine.WorkflowNet.

Summary

Functions

enabled_transitions(net, marking)

See Ex4pmEngine.WorkflowNet.enabled_transitions/2.

fire(net, marking, transition_id)

See Ex4pmEngine.WorkflowNet.fire/3.

new(places, transitions, arcs, opts \\ [])

See Ex4pmEngine.WorkflowNet.new/4.

simulate_traces(net, opts \\ [])

See Ex4pmEngine.WorkflowNet.simulate_traces/2.

validate_structure(net)

See Ex4pmEngine.WorkflowNet.validate_structure/1.

verify_soundness(net, opts \\ [])

See Ex4pmEngine.WorkflowNet.verify_soundness/2.

Functions

enabled_transitions(net, marking)

See Ex4pmEngine.WorkflowNet.enabled_transitions/2.

fire(net, marking, transition_id)

See Ex4pmEngine.WorkflowNet.fire/3.

new(places, transitions, arcs, opts \\ [])

See Ex4pmEngine.WorkflowNet.new/4.

simulate_traces(net, opts \\ [])

See Ex4pmEngine.WorkflowNet.simulate_traces/2.

validate_structure(net)

See Ex4pmEngine.WorkflowNet.validate_structure/1.

verify_soundness(net, opts \\ [])

See Ex4pmEngine.WorkflowNet.verify_soundness/2.