For the most recent entries see the
Petri Nets Newsletter
.
Keyword: formal analysis
Gordon, Steven
;
Billington, Jonathan
:
Applying Coloured Petri Nets and Design/CPN to an Air-to-Air Missile Simulator.
1998.
Shen, V.R.L.
;
Lai, F.P.
:
Requirements specification and analysis of digital systems using fuzzy and marked Petri nets.
1998.
Felder, M.
;
Mandrioli, D.
;
Morzenti, A.
:
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
1994.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography