For the most recent entries see the
Petri Nets Newsletter.
Keyword: formal verification
-
Khomenko, Victor;
Kondratyev, Alex;
Koutny, Maciej;
Vogler, Walter:
Merged Processes - A New Condensed Representation of Petri Net Behaviour.
2005.
-
Khomenko, Victor;
Kondratyev, Alex;
Koutny, Maciej;
Vogler, Walter:
Merged Processes - A New Condensed Representation of Petri Net Behaviour.
2005.
-
Cortés, Luis Alejandro;
Eles, Petru;
Peng, Zebo:
Modeling and formal verification of embedded systems based on a Petri net representation.
2003.
-
Deng, Yi;
Wang, Jiacun;
Tsai, Jeffrey J.P.;
Beznosov, Konstantin:
An Approach for Modeling and Analysis of Security System Architectures.
2003.
-
Naedele, Martin:
An approach to modeling and evaluation of functional and timing specifications of real-time systems.
2001.
-
Wang, Jiacun;
Deng, Yi;
Zhou, MengChu:
Compositional time Petri nets and reduction rules.
2000.
-
Jorgensen, J.B.;
Kristensen, L.M.:
Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries.
1999.
-
Myers, C.J.;
Rokicki, T.G.;
Meng, T.H.-Y.:
POSET timing and its application to the synthesis and verification of gate-level timed circuits.
1999.
-
Siminiceanu, Radu I.;
Ciardo, Gianfranco:
Formal verification of the NASA runway safety monitor.
.
-
Völzer, H.:
Verifying fault tolerance of distributed algorithms formally - an example.
1998.
-
De Prisco, Roberto;
Lampson, Butler;
Lynch, Nancy:
Revisiting the Paxos Algorithm.
1997.
-
Song, K.;
Togashi, A.;
Shiratori, N.:
Verification and refinement for system requirements.
1995.
-
Uchihira, N.;
Kawata, H.:
Practical program validation for state-based reactive concurrent systems - harmonization of simulation and verification.
1995.
-
He, Xudong:
PZ Nets - A Formal Method integrating Petri Nets with Z.
1995.
-
Krauss, K.G.:
Petri Nets Applied to the Formal Verification of Parallel and Communicating Processes.
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography