Publication | Closed Access
The expressive power of time Petri nets
38
Citations
21
References
2012
Year
Petri NetEngineeringAutomated ReasoningStochastic Petri NetFormal MethodsComputer ScienceTimed SystemFormal VerificationTime Petri Nets
| Year | Citations | |
|---|---|---|
Page 1
Page 1