For the most recent entries see the
Petri Nets Newsletter
.
Keyword: protocols
Kostin, Alexander E.
:
An Anycasting Protocol for Anonymous Access to a Group of Contents-Equivalent Servers in a Distributed System.
2006.
Shen, Jun
;
Yang, Yun
;
Luo, Junzhou
:
A Petri Net Model for Session Services.
2002.
Grahlmann, B.
:
Verifying Telecommunication Protocols with PEP.
1995.
Anisimov, N.A.
:
A Petri Net Entity as a Formal Model for LOTOS - A Specification Language for Distributed and Concurrent Systems.
1991.
Anisimov, N.A.
:
An Algebra of Regular Macronets for Formal Specification of Communication Protocols.
1991.
Chehaibar, Ghassan
:
Use of Reentrant Nets in Modular Analysis of Colored Nets.
1991.
Chehaibar, Ghassan
:
Validation of Phase-Executed Protocols Modelled with Colored Petri Nets.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography