For the most recent entries see the
Petri Nets Newsletter.
Keyword: protocol specification
-
Yamaguchi, Hirozumi;
El-Fakih, Khaled;
von Bochmann, Gregor;
Higashino, Teruo:
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets.
2003.
-
Nützel, Jürgen;
Fengler, Wolfgang:
Analysis and Verification of High-Level-Nets in Combination with Formal Estelle Specifications.
1995.
-
Abburi, R.;
Gildea, K.J.;
Krishnamoorthy, M.S.;
Ramamurthy, B.:
Protenv: a Programming Environment for Protocol Development.
1990.
-
Eggert, H.;
Korczynski, W.:
A Formal Protocol Specification with Predicate/Transition Nets.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography