Categorical net transformations for Petri net technology

Categorical net transformations for Petri net technology

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Urbášek, Milan (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin Logos-Verl. 2003
Schlagworte:	Netzmodell Petri-Netz Kategorientheorie Transformation Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Functors between m-adhesive categories applied to Petri net and graph transformation systems
von: Maximova, Maria
Veröffentlicht: (2011)

Algebraische Theorie von High-Level-Netzen
von: Hummert, Udo
Veröffentlicht: (1989)

Categorical foundation for layer consistency in AHO-net models supporting workflow management in mobile ad-hoc networks
von: Biermann, Enrico, et al.
Veröffentlicht: (2007)

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

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

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

Advances in Petri nets APN

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

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

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

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)

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

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

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

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

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 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)

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

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)

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

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

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

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 2002 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24 - 30, 2002 ; proceedings
Veröffentlicht: (2002)

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

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)

The mathematics of Petri nets
von: Reutenauer, Christophe 1953-
Veröffentlicht: (1990)

Colored Petri nets for systems biology
von: Liu, Fei
Veröffentlicht: (2012)

A structuring mechanism for Petri nets
von: Kiehn, Astrid
Veröffentlicht: (1989)

Biological petri nets
Veröffentlicht: (2011)

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