For the most recent entries see the
Petri Nets Newsletter.
Gordon, S.
-
Gordon, Steven;
Kristensen, Lars Michael;
Billington, Jonathan:
Verification of a Revised WAP Wireless Transaction Protocol.
2002.
-
Gordon, Steven;
Kristensen, Lars;
Billington, Jonathan:
An Approach to Generalising the State Space of a Distributed Missile Simulator.
2001.
-
Gordon, Steven;
Billington, Jonathan:
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets.
2000.
-
Gordon, S.;
Billington, J.:
Middleware Services over Satellite Networks: A Survey of Issues.
1999.
-
Gordon, S.;
Billington, J.:
Modelling the WAP Transaction Service using Coloured Petri Nets.
1999.
-
Gordon, Steven;
Billington, Jonathan:
Applying Coloured Petri Nets and Design/CPN to an Air-to-Air Missile Simulator.
1998.
-
Gordon, Steven;
Billington, Jonathan:
Analysing a missile simulator with coloured Petri nets.
1998.
-
Gordon, S.;
Billington, J.:
Modelling and Analysis of an Air-to-Air Missile Engagement Simulator using Coloured Petri Nets.
1998.
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