For the most recent entries see the
Petri Nets Newsletter
.
Keyword: petri net transformation
Padberg, J.
;
Gajewsky, M.
:
Using High-Level Replacement Systems to preserve Safety Properties in Place/Transition Net Transformations.
1998.
Padberg, Julia
;
Gajewsky, Maike
;
Hoffmann, Kathrin
:
Incremental Development of Safety Properties in Petri Net Transformations.
1998.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography