Applications and Theory of Petri Nets 2001
Springer Berlin (Verlag)
978-3-540-42252-5 (ISBN)
Invited Papers.- Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?.- The Flux of Interaction.- Towards a Notion of Distributed Time for Petri Nets.- Full Papers.- Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance.- Timed Petri Nets and BQOs.- CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.- Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems.- Condensed State Spaces for Timed Petri Nets.- Unfolding of Products of Symmetrical Petri Nets.- partial Order Verification of Programmable Logic Controllers.- Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.- Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets.- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.- Modelling the Structure and Behaviour of Petri Net Agents.- Modelling the Structure and Behaviour of Petri Net Agents.- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.- Incremental State Space Construction for Coloured Petri Nets.- Incremental State Space Construction for Coloured Petri Nets.- Optimising Enabling Tests and Unfoldings of Algebraic System Nets.- Optimising Enabling Tests and Unfoldings of Algebraic System Nets.- Extending the Petri Box Calculus with Time.- Extending the Petri Box Calculus with Time.- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets.- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets.- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems.- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems.- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.- Partial S-Invariants for the Verification of Infinite Systems Families.- Partial S-Invariants for the Verification of Infinite Systems Families.
Erscheint lt. Verlag | 13.6.2001 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XII, 408 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 585 g |
Themenwelt | Mathematik / Informatik ► Informatik |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Schlagworte | Colored Petri Nets • concurency • distributed programming • Distributed Systems • Embedded Systems • flow charts • formal methods • Formal Verification • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Logic • Model Checking • Modeling • Networking • Petri net • Petri Nets • programming • state charts • Stochastic Petri Nets • timed Petri nets • verification |
ISBN-10 | 3-540-42252-8 / 3540422528 |
ISBN-13 | 978-3-540-42252-5 / 9783540422525 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich