×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [firing transitions]
Home >
firing transitions
Model checking of time petri nets
529 views
10. Petri Nets Prof. O. Nierstrasz. Roadmap Definition: —places, transitions, inputs, outputs —firing enabled transitions Modelling: —concurrency.
217 views