For the most recent entries see the
Petri Nets Newsletter
.
Keyword: verification methods
Vernadat, François
;
Michel, François
:
Covering Step Graph Preserving Failure Semantics.
1997.
Vernadat, François
;
Azéma, Pierre
;
Michel, François
:
Covering Step Graph.
1996.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography