Vor Ort
Merkzettel Warenkorb
  • Produktbild: Applications and Theory of Petri Nets
  • Produktbild: Applications and Theory of Petri Nets
Band 5606

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2009

Abbildungen

XII, 353 p.

Herausgeber

Giuliana Franceschinis + weitere

Verlag

Springer Berlin

Seitenzahl

353

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

557 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02423-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2009

Abbildungen

XII, 353 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

353

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

557 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02423-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Applications and Theory of Petri Nets
  • Produktbild: Applications and Theory of Petri Nets
  • Invited Papers.- Component-Based Construction of Heterogeneous Real-Time Systems in Bip.- Unifying Petri Net Semantics with Token Flows.- Reaction Systems: A Formal Framework for Processes.- Full Papers.- Simple Composition of Nets.- Towards a Standard for Modular Petri Nets: A Formalisation.- Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication.- Pomset Languages of Finite Step Transition Systems.- Deficiency Zero Petri Nets and Product Form.- Bisimilarity Minimization in O(m logn) Time.- P-Semiflow Computation with Decision Diagrams.- Orthomodular Lattices in Occurrence Nets.- Hasse Diagram Generators and Petri Nets.- Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed.- Oclets – Scenario-Based Modeling with Petri Nets.- Hornets: Nets within Nets Combined with Net Algebra.- Monotonicity in Service Orchestrations.- Compositional Service Trees.- Tool Papers.- ASAP: An Extensible Platform for State Space Analysis.- The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator.- DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets.- Workcraft – A Framework for Interpreted Graph Models.- PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description.