دانلود کتاب Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

فهرست مطالب :

Front Matter....Pages -
Challenges and Opportunities for Formal Specifications in Service Oriented Architectures....Pages 1-6
Modeling Interactions between Biochemical Reactions....Pages 7-7
Transaction Calculus....Pages 8-8
Stratifying Winning Positions in Parity Games....Pages 9-11
On the Physical Basics of Information Flow....Pages 12-12
Faster Unfolding of General Petri Nets Based on Token Flows....Pages 13-32
Decomposition Theorems for Bounded Persistent Petri Nets....Pages 33-51
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study....Pages 52-71
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets....Pages 72-91
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets....Pages 92-111
Synthesis of Nets with Step Firing Policies....Pages 112-131
Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets....Pages 132-151
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks....Pages 152-170
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario....Pages 171-190
Parametric Language Analysis of the Class of Stop-and-Wait Protocols....Pages 191-210
Hierarchical Set Decision Diagrams and Automatic Saturation....Pages 211-230
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds....Pages 231-250
Modelling Concurrency with Quotient Monoids....Pages 251-269
Labeled Step Sequences in Petri Nets....Pages 270-287
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs....Pages 288-306
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)....Pages 307-326
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings....Pages 327-347
Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning....Pages 348-367
Process Discovery Using Integer Linear Programming....Pages 368-387
Synthesis of Petri Nets from Scenarios with VipTool....Pages 388-398
A Monitoring Toolset for Paose....Pages 399-408
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models....Pages 409-418
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets....Pages 419-428
Back Matter....Pages -