For the most recent entries see the
Petri Nets Newsletter
.
Keyword: automatic verification
Buy, Ugo
;
Singal, Gaurav
:
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems.
2002.
Dill, David L.
;
Nowick, Steven M.
;
Sproull, Robert F.
:
Automatic Verification of Speed-Independent Circuits with Petri Net Specifications.
1989.
Dimitrov, V.
;
Petkov, A.
:
Verification Oriented Estelle Specifications of Communication Protocols.
1988.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography