Coloured Petri Nets : modeling and validation of concurrent systems

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642002830
Maße
24 cm
Umfang
XI, 384 S.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.
Literaturverz. S. 375 - 379

Schlagwort
Gefärbtes Petri-Netz

Ereignis
Veröffentlichung
(wo)
Dordrecht, Heidelberg, London, New York, NY
(wer)
Springer
(wann)
2009
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 12:24 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2009

Ähnliche Objekte (12)

Coloured petri nets, Vol. 1

Coloured petri nets, Vol. 1

Coloured petri nets, Vol. 2.

Coloured petri nets, Vol. 2.

Coloured petri nets, Vol. 1.

Coloured petri nets, Vol. 1.

Coloured petri nets, Vol. 3

Coloured petri nets, Vol. 3

Coloured petri nets, Vol. 2

Coloured petri nets, Vol. 2

Coloured petri nets, Vol. 1.

Coloured petri nets, Vol. 1.

Equivalences of coloured Petri nets

Equivalences of coloured Petri nets

Concurrent object oriented programming and Petri nets : advances in Petri nets

Konferenzschrift | Kongress

Concurrent object oriented programming and Petri nets : advances in Petri nets

On the concurrent behaviour of Petri nets

On the concurrent behaviour of Petri nets

(Coloured) Hybrid Petri nets in Snoopy – user manual

(Coloured) Hybrid Petri nets in Snoopy – user manual

Extending s-invariants for coloured and selfmodifying nets

Extending s-invariants for coloured and selfmodifying nets

Simulative analysis of coloured extended stochastic Petri nets

Hochschulschrift

Simulative analysis of coloured extended stochastic Petri nets

Verbundene Objekte