Publication | Closed Access
Coloured petri nets and the invariant-method
610
Citations
2
References
1981
Year
Petri NetEngineeringColoured Petri NetsAutomated ReasoningComputational Model TheoryStochastic Petri NetFormal MethodsComputer Science
| Year | Citations | |
|---|---|---|
Page 1
Page 1