For the most recent entries see the
Petri Nets Newsletter.
Tavares, S.E.
-
Nieh, B.B.;
Tavares, S.E.:
Modelling and Analyzing Cryptographic Protocols Using Petri Nets.
1993.
-
Behki, N.;
Tavares, S.E.:
An Integrated Approach to Protocol Design.
1989.
-
Lai, S.W.;
Brown, E.D.;
Tavares, S.E.:
Modelling Communication Protocols with Coloured-Arc Petri Nets.
1986.
-
Cheung, P.S.K.;
Lai, S.W.;
Tavares, S.E.:
Petri Net Modelling and Reliability of Token-Passing Ring Network Protocols.
1984.
-
Brown, E.D.;
Tavares, S.E.:
Modelling the HDLC Communications Protocol Using Petri Nets.
1983.
-
Tavares, S.E.;
Long, J.A.:
On Modelling Protocols with Petri Nets.
1981.
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