Skip to main content

compute_state

libpetri_debug::marking_cache

Function compute_state 

Source 
pub fn compute_state(events: &[NetEvent]) -> ComputedState
Expand description

Computes marking, enabled transitions, and in-flight transitions from events.