Publication | Closed Access

Observability of continuous Petri nets with infinite server semantics

Petri NetEngineeringReachability ProblemVerificationStochastic Petri NetFormal MethodsComputer ScienceContinuous Petri NetsFormal Verification