Publication | Closed Access

Reduction rules for time Petri nets

Reduction RulesPetri NetEngineeringStochastic Petri NetProcess ControlFormal MethodsComputational ComplexityComputer ScienceTimed SystemIndustrial Informatics