Concepedia
Journal of automata, languages and combinatorics · 1991 · 84 citations · 0 references
Petri NetEngineeringStochastic Petri NetFormal MethodsReal-time SystemsComputer ScienceTimed SystemTime Petri Nets