For the most recent entries see the
Petri Nets Newsletter
.
Keyword: state space analysis
Dresp, Wiebke
:
Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets.
2005.
Bucci, Giacomo
;
Fedeli, Andrea
;
Sassoli, Luigi
;
Vicario, Enrico
:
Timed State Space Analysis of Real-Time Preemptive Systems.
2004.
Mailund, Thomas
:
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.
2002.
Razouk, Rami R.
:
A Guided Tour of P-NUT (Release 2.2).
1987.
Razouk, Rami R.
:
A Guided Tour of P-NUT (Release 2.1).
1986.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography