For the most recent entries see the
Petri Nets Newsletter
.
Keyword: predicate/transition petri nets
Husberg, Nisse
:
Verifying SDL programs using Petri nets.
1998.
Chu, W.C.
;
Yang, H.
;
Luker, P.
:
A formal method for software maintenance.
1996.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography