Publication | Closed Access

Structural translation from Time Petri Nets to Timed Automata

Petri NetEngineeringAutomated ReasoningFormal MethodsComputer ScienceTemporal LogicStructural TranslationTimed SystemFormal Verification