Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 06.07.2026 auf fremdsprachige Bücher online auf thalia.at, in der Thalia App ab einem Mindestbestellwert von 30€ und in allen Thalia Buchhandlungen in Österreich. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Applications and Theory of Petri Nets
  • Produktbild: Applications and Theory of Petri Nets

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.05.2008

Herausgeber

Kees van Hee + weitere

Verlag

Springer Berlin

Seitenzahl

429

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

682 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-68745-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.05.2008

Herausgeber

Verlag

Springer Berlin

Seitenzahl

429

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

682 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-68745-0

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.- Challenges and Opportunities for Formal Specifications in Service Oriented Architectures.- Modeling Interactions between Biochemical Reactions.- Transaction Calculus.- Stratifying Winning Positions in Parity Games.- On the Physical Basics of Information Flow.- Regular Papers.- Faster Unfolding of General Petri Nets Based on Token Flows.- Decomposition Theorems for Bounded Persistent Petri Nets.- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.- Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.- Synthesis of Nets with Step Firing Policies.- Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets.- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks.- Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario.- Parametric Language Analysis of the Class of Stop-and-Wait Protocols.- Hierarchical Set Decision Diagrams and Automatic Saturation.- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.- Modelling Concurrency with Quotient Monoids.- Labeled Step Sequences in Petri Nets.- MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.- Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning.- Process Discovery Using Integer Linear Programming.- Tool Papers.- Synthesis of Petri Nets from Scenarios with VipTool.- A Monitoring Toolset for Paose.- Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models.- HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets.