Petri nets for systems engineering : :: SCD d'Orléans

Petri nets for systems engineering : a guide to modeling, verification, and applications

Petri nets for systems engineering : a guide to modeling, verification, and applications

Guardado en:

Detalles Bibliográficos
Autores principales:	Girault, Claude, 19..-...., informaticien, Valk, Rüdiger (Autor)
Formato:	Livre papier
Lenguaje:	Anglais
Publicado:	Berlin ; Heidelberg ; New-York : Springer cop. 2010.
Materias:	Petri, Réseaux de Génie logiciel Logiciels > Vérification
Autres localisations:	Voir dans le Sudoc

Ejemplares similares

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

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

Coloured Petri nets : modelling and validation of concurrent systems
por: Jensen, Kurt, 1950-, et al.
Publicado: (2009)

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

Application of Petri nets to communication networks : advances in Petri nets
por: Billington, Jonathan, 19..-

Lectures on Petri Nets. Applications : advances in Petri Nets

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

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

Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
por: 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 2001 : 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings

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

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

Conception des systèmes d'information : panorama des méthodes et des techniques
por: André, Pascal, 1967-...., chercheur en informatique, et al.
Publicado: (2001)

Advances in Petri nets 1989

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

Application and theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24 30, 2002 : proceedings
Publicado: (2003)

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

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

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
por: Müller-Olm, Markus, 19..-

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

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

Advances in Petri nets 1988
Publicado: (1988)

Advances in Petri Nets 1987

Advances in Petri Nets 1985

Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Publicado: (2003)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
por: Steffen, Bernhard, 1956-

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

Méthodes formelles pour les systèmes répartis et coopératifs
Publicado: (2006)

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

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

Advances in Petri nets 1990

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

Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979

Dynamic Analysis of Petri Net-Based Discrete Systems
por: Karatkevich, Andrei

Formal verification of trusted layers of software : application to the TPM Software Stack
por: Ziani, Yani, 1995-
Publicado: (2025)

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Utilisations industrielles des techniques formelles : interprétation abstraite
Publicado: (2011)

© 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