Publication | Closed Access
A symbolic reachability graph for coloured petri nets
93
Citations
5
References
1997
Year
Petri NetEngineeringReachability ProblemSymbolic Reachability GraphAutomated ReasoningStochastic Petri NetFormal MethodsSystems EngineeringComputational ComplexityComputer ScienceCombinatorial OptimizationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1