Publication | Closed Access

Complexity of some problems in Petri nets

Petri NetEngineeringReachability ProblemAutomated ReasoningStochastic Petri NetFormal MethodsComputational ComplexityComputer SciencePetri NetsCombinatorial Optimization