Publication | Closed Access

Sequential and concurrent behaviour in Petri net theory

Petri NetEngineeringAutomated ReasoningConcurrency TheoryStochastic Petri NetFormal MethodsComputer ScienceConcurrent Behaviour