Applications and Theory of Petri Nets
Springer Berlin (Verlag)
978-3-540-68745-0 (ISBN)
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.
Erscheint lt. Verlag | 30.5.2008 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XIII, 429 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 682 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Schlagworte | algorithms • bounded Petri nets • Colored Petri Nets • Concurrent Systems • Distributed Systems • dynamic Petri nets • formal methods • formal specification • fuzzy Petri nets • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Model Checking • Modeling • nets-within-nets • Ontologies • Performance Evaluation • Petri Nets • programming • Routing • semantic web services • session • softw • software development • Stochastic Petri Nets • transformations • Validation • verification |
ISBN-10 | 3-540-68745-9 / 3540687459 |
ISBN-13 | 978-3-540-68745-0 / 9783540687450 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich