Publication | Closed Access
Time-based expressivity of time Petri nets for system specification
86
Citations
12
References
1999
Year
Petri NetEngineeringStochastic Petri NetFormal MethodsProcess ControlSystems EngineeringComputer ScienceTimed SystemFormal VerificationSystem SoftwareSoftware DesignTime Petri Nets
| Year | Citations | |
|---|---|---|
Page 1
Page 1