For the most recent entries see the
Petri Nets Newsletter
.
Keyword: rule-based refinements
Padberg, J.
;
Gajewsky, M.
:
Rule-based refinement of Petri nets for modeling train control systems.
2000.
Padberg, J.
;
Gajewsky, M.
;
Ermel, C.
:
Rule-based refinement of high-level nets preserving safety properties.
1998.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography