For the most recent entries see the
Petri Nets Newsletter
.
Keyword: design verification
Nuetzel, J.
;
Daene, B.
;
Fengler, W.
:
Object nets for the design and verification of distributes and embedded systems.
1998.
Yim, D.S.
;
Barta, T.A.
:
A Petri net based simulation tool for the design and analysis of flexible manufacturing systems.
1994.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography