For the most recent entries see the
Petri Nets Newsletter
.
Keyword: model synthesis
Ezpeleta, Joaquín
;
Colom, José Manuel
:
Automatic Synthesis of Colored Petri Nets for the Control of FMS.
1997.
Ezpeleta, J.
;
Martínez, J.
;
Colom, J.M.
:
Synthesis of Live High Level Models for a Class of FMS.
1993.
Tuominen, Heikki
:
Elementary Net Systems and Dynamic Logic.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography