For the most recent entries see the
Petri Nets Newsletter.
Gallasch, G.
-
Gallasch, Guy;
Billington, Jonathan:
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols.
2006.
-
Gallasch, Guy;
Billington, Jonathan:
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols.
2006.
-
Gallasch, Guy;
Han, Bing;
Billington, Jonathan:
Sweep-Line Analysis of TCP Connection Management.
2005.
-
Zhang, L.;
Kristensen, L. M.;
Janczura, C.;
Gallasch, G.;
Billington, J.:
A Coloured Petri Net based Tool for Course of Action Development and Analysis.
2002.
-
Gallasch, Guy;
Kristensen, Lars M.:
Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN.
2001.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography