KI-Beratung Beta
Vor Ort
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

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.06.2004

Abbildungen

XX, 852 p.

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

Abbildungen

XX, 852 p.

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: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.