Petri nets in system engineering modelling, verification, and validation

Petri nets in system engineering modelling, verification, and validation

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	German
Veröffentlicht:	Hamburg Bibl. des Fachbereichs Informatik, Univ. 1997
Schriftenreihe:	Universität <Hamburg> / Fachbereich Informatik: Bericht 205
Schlagworte:	Komplexes System Petri-Netz Konferenzschrift > 1997 > Hamburg
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Petri nets in system engineering modelling, verification, and validation
Veröffentlicht: (1997)

Petri Nets fundamental models, verification and applications
Veröffentlicht: (2009)

Unifying Petri nets advances in Petri nets
Veröffentlicht: (2001)

Petri nets for systems engineering a guide to modeling, verfication, and applications ; with 9 tables
von: Girault, Claude, et al.
Veröffentlicht: (2003)

Progress in Petri Nets
von: Reisig, Wolfgang 1950-
Veröffentlicht: (1994)

Advances in Petri nets APN

Advances in Petri nets 1989
Veröffentlicht: (1990)

Advances in Petri Nets 1990
Veröffentlicht: (1991)

Advances in Petri nets 1991
Veröffentlicht: (1991)

Separability in persistent Petri Nets Bericht
von: Best, Eike 1951-, et al.
Veröffentlicht: (2009)

Advances in Petri nets 1993 APN 93
Veröffentlicht: (1993)

Petri net approaches for modelling and validation
von: Moldt, Daniel, et al.
Veröffentlicht: (2001)

Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xián, China, June 23-27, 2008 ; proceedings
Veröffentlicht: (2008)

Advances in Petri nets 1988 [... covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987]
Veröffentlicht: (1988)

Model checking of persistent Petri nets
von: Best, Eike 1951-, et al.
Veröffentlicht: (1991)

Applications and theory of Petri nets 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings
Veröffentlicht: (2011)

Applications and theory of Petri Nets 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21 - 25, 2010 ; proceedings
Veröffentlicht: (2010)

Application and theory of Petri nets 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25 - 29, 2012 ; proceedings
Veröffentlicht: (2012)

Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xián, China, June 23-27, 2008 ; proceedings
Veröffentlicht: (2008)

Applications and theory of Petri nets 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20 - 24, 2011 ; proceedings
Veröffentlicht: (2011)

Petri nets and Grafcet tools for modelling discrete event systems
von: David, René 1939-, et al.
Veröffentlicht: (1992)

Applications and theory of Petri nets selected papers from the 3. European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, Sept. 27 - 30, 1982
Veröffentlicht: (1983)

Petri nets: central models and their properties Advances in Petri Nets 1986 ; Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
Veröffentlicht: (1987)

Petri nets: central models and their properties Advances in Petri Nets 1986 ; Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
Veröffentlicht: (1987)

Low- and high-level petri nets with individual tokens
von: Modica, Tony, et al.
Veröffentlicht: (2009)

Low- and high-level petri nets with individual tokens
von: Modica, Tony, et al.
Veröffentlicht: (2010)

Transactions on petri nets and other models of concurrency

Timed Petri nets theory and application
von: Wang, Jiacun
Veröffentlicht: (1998)

Application and theory of Petri nets 1994 15th International Conference, Zaragoza, Spain, June 20 - 24, 1994 ; proceedings
Veröffentlicht: (1994)

Applications and theory of Petri nets 2005 26th International Conference, ICATPN 2005, Miami, USA 20 - 25, 2005 ; proceedings
Veröffentlicht: (2005)

Application and theory of Petri Nets 1997 18th international conference, ICATPN '97, Toulouse, France, June 23 - 27, 1997 ; proceedings
Veröffentlicht: (1997)

Application and theory of Petri nets 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings
Veröffentlicht: (2002)

Applications and theory of petri nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 ; proceedings
Veröffentlicht: (2003)

Application and theory of Petri nets 1999 20th international conference, ICATPN '99, Williamsburg, Virginia, USA, June 21 - 25, 1999 ; proceedings
Veröffentlicht: (1999)

Lectures on concurrency and Petri nets advances in Petri nets
Veröffentlicht: (2004)

Decidability questions for Petri nets
von: Hack, Michel H.
Veröffentlicht: (1979)

Petri-Netze eine anwendungsorientierte Einführung
von: Rosenstengel, Bernd, et al.
Veröffentlicht: (1982)

Petri-Netze Grundlagen, Anwendungen, Theorie
von: Starke, Peter H. 1937-
Veröffentlicht: (1980)

Petri-Netze Eine anwendungsorientierte Einf.
von: Rosenstengel, Bernd, et al.
Veröffentlicht: (1984)

Petri-Netze Grundlagen und Anwendungen
von: Baumgarten, Bernd 1948-
Veröffentlicht: (1990)