For the most recent entries see the
Petri Nets Newsletter.
Keyword: finite state machine
-
Han, B.;
Billington, J.,:
Validation TCP Connection Management.
2002.
-
Han, Bing;
Billington, Jonathan:
An Analysis of TCP Connection Management Using Coloured Petri Nets.
2001.
-
Nakamura, Masahide;
Kikuno, Tohru:
A new approach in feature interaction testing.
1998.
-
Cao, Xi-Ren;
Ho, Yu-Chi:
Models of Discrete Event Dynamic Systems.
1990.
-
Janicki, Ryszard:
On Concurrency Relations and Systems.
1982.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography