For the most recent entries see the
Petri Nets Newsletter
.
Keyword: PROTEAN
Lai, R.
:
Formal specification and verification of a procedural protocol - a case study.
1995.
Mehrpour, H.
;
Karbowiak, A.E.
:
Modelling and Analysis of the DOD TCP/IP Using Numerical Petri Nets.
1990.
Gerrand, P.H.
:
Experience Gained in Applying Formal Description Techniques to the Design of Complex Real-Time Computing Systems.
1989.
Billington, J.
;
Wilbur-Ham, M.C.
:
PROTEAN: A High-Level Petri Net Tool.
1987.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography