Merkzettel Warenkorb
Produktbild: Lectures on Concurrency and Petri Nets
Band 3098

Lectures on Concurrency and Petri Nets Advances in Petri Nets

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.06.2004

Herausgeber

Jörg Desel + weitere

Verlag

Springer Berlin

Seitenzahl

852

Maße (L/B/H)

23,5/15,5/4,6 cm

Gewicht

1282 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-22261-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.06.2004

Herausgeber

Verlag

Springer Berlin

Seitenzahl

852

Maße (L/B/H)

23,5/15,5/4,6 cm

Gewicht

1282 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-22261-3

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: Lectures on Concurrency and Petri Nets
  • Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.- Timed Automata: Semantics, Algorithms and Tools.- Petri Nets and Dependability.- Process Algebra.- A Coloured Petri Net Approach to Protocol Verification.- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.- A Survey on Non-interference with Petri Nets.- Synthesis of Asynchronous Hardware from Petri Nets.- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.- Unbounded Petri Net Synthesis.- Petri Nets and Software Engineering.- Model Validation in Controller Design.- Graph Grammars and Petri Net Transformations.- Message Sequence Charts.- Model-Based Development of Executable Business Processes for Web Services.- Modelling and Control with Modules of Signal Nets.- Application of Coloured Petri Nets in System Development.- Bigraphs for Petri Nets.- Notes on Timed Concurrent Constraint Programming.- Petri Nets and Manufacturing Systems: An Examples-Driven Tour.- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.- Object Petri Nets.