For the most recent entries see the
Petri Nets Newsletter
.
Keyword: partial evaluation
Edwards, Stephen A.
:
Tutorial: Compiling concurrent languages for sequential processors.
2003.
Leuschel, M.
;
Lehmann, H.
:
Solving coverability problems of Petri nets by partial deduction.
2000.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography