For the most recent entries see the
Petri Nets Newsletter.
Keyword: service 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.
-
Singh, A.;
Billington, J.:
Creating an Internet Inter-ORB Protocol Service Specification.
2002.
-
Singh, A.;
Billington, J.:
A Formal Service Specification for IIOP based on ISO/IEC 14752.
2002.
-
Gordon, S.;
Billington, J.:
Modelling the WAP Transaction Service using Coloured Petri Nets.
1999.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography