For the most recent entries see the
Petri Nets Newsletter.
Wheeler, G.R.
-
Billington, J.;
Wheeler, G.R.;
Wilbur-Ham, M.C.:
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.
1988.
-
Billington, J.;
Wheeler, G.R.;
Wilbur-Ham, M.C.:
PROTEAN: A Specification and Verification Aid for Communication Protocols.
1987.
-
Wheeler, G.R.:
Modelling Concurrent Systems Using Petri Nets.
1987.
-
Wheeler, G.R.;
Batten, T.J.;
Billington, J.;
Wilbur-Ham, M.C.:
A Methodology for Protocol Engineering.
1986.
-
Wheeler, G.R.;
Wilbur-Ham, M.C.;
Billington, J.;
Gilmour, J.A.:
Protocol Analysis Using Numerical Petri Nets.
1986.
-
Dickson, G.J.;
Wheeler, G.R.:
A Comparison of Formal Description Techniques Proposed for International Standardization.
1985.
-
Wheeler, G.R.:
Numerical Petri Nets - A Definition.
1985.
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