Application of Petri nets to communication networks : :: SCD d'Orléans

Application of Petri nets to communication networks : advances in Petri nets

Application of Petri nets to communication networks : advances in Petri nets

Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. They offer not only precise semantics and a theoretical foundation, but also a graphical form that facilitates the understanding of...

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Billington, Jonathan, 19..-
Diğer Yazarlar:	Diaz, Michel, 1945- (Yayın yönetmeni), Rozenberg, Grzegorz, 1942- (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 1605
Konular:	Génie logiciel Informatique Traitement réparti Petri, Réseaux de Réseaux d'ordinateurs Informatique documentaire
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Application of Petri nets to communication networks, advances in Petri nets, Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.), 1999, New York, Springer, 1 vol. (VII-303 p.), Lecture notes in computer science, 3-540-65870-X • Application of Petri Nets to Communication Networks, Texte imprimé, 9783662183373

Benzer Materyaller

Unifying Petri nets : advances in Petri nets
Yazar:: Ehrig, Hartmut, 1944-

Petri net technology for communication-based systems : advances in Petri nets
Yazar:: Ehrig, Hartmut, 1944-

Lectures on Petri nets. basic models : advances in Petri nets

Lectures on Petri Nets. Applications : advances in Petri Nets

Lectures on concurrency and Petri nets : advances in Petri nets
Yazar:: Desel, Jörg, 1959-

Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
Yazar:: Agha, Gul A.

Application and theory of Petri Nets 2000 : ; proceedings 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000

Application and theory of Petri nets 1999 : 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21 25, 1999 : proceedings

Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21 25, 2004. Proceedings
Yazar:: Cortadella, Jordi, 1962-

Applications and theory of Petri Nets 2001 : 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings

Application on Theory of Petri Nets 1998 : 19th International conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998 : proceedings

Advances in Petri Nets 1987

Advances in Petri nets 1989

Advances in Petri Nets 1985

Finite representations of CCS and TCSP programs by automata and Petri nets
Yazar:: Taubner, Dirk, 1959-

Application and theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24 30, 2002 : proceedings
Baskı/Yayın Bilgisi: (2003)

Advances in Petri Nets 1984
Yazar:: Rozenberg, Grzegorz, 1942-

Advances in Petri nets 1990

Advances in Petri nets 1992
Yazar:: Rozenberg, Grzegorz, 1942-

Application and theory of Petri Nets, 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996 : proceedings

Policies for distributed systems and networks : international workshop, POLICY 2001, Bristol, UK, January 29-31, 2001 : proceedings

Advances in Petri nets 1988

Advances in Petri Nets 1993

Advances in Petri nets 1991

Application and theory of Petri nets 1995 : 16th International Conference, Turin, Italy, June 26 30, 1995 : proceedings

Application and theory of Petri nets 1994 : 15th International Conference, Zaragoza, Spain, June 20 24, 1994 : proceedings

Application and theory of Petri nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21 25, 1993 : proceedings
Yazar:: Ajmone Marsan, Marco, 1951-...., informaticien

Scientific engineering of distributed Java applications : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
Yazar:: Guelfi, Nicolas, 1965-

Cooperative environments for distributed systems engineering : the distributed systems environment report
Yazar:: Drira, Khalil, 19..-

Application and theory of Petri nets 1992 : 13th international conference, Sheffield, UK, June 22-26, 1992 : proceedings

Concurrency and hardware design : advances in Petri nets
Yazar:: Cortadella, Jordi, 1962-

Modular construction and partial order semantics of Petri nets
Yazar:: Vogler, Walter, 1955-

Application and theory of Petri nets 1997 : 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings

Coloured Petri nets : modelling and validation of concurrent systems
Yazar:: Jensen, Kurt, 1950-, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Applications and theory of Petri Nets 2003 : 24th international conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 : proceedings

Formal systems specification : the RPC-memory specification case study
Yazar:: Broy, Manfred, 1949-

Parallel and distributed processing and applications : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2 4, 2003 : proceedings

Future directions in distributed computing : research and position papers
Yazar:: Schiper, André, 1949-

Grid computing - GRID 2002 : third international workshop, Baltimore, MD, USA, November 18, 2002 : proceedings

Advanced distributed systems : Third international school and symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004 : revised selected papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales