Applications and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Colom, Jose-Manuel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Koutny, Maciej (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2075
• Θέματα: Mathematical logic.; Software engineering.; Computer communication systems.; Computer science-Mathematics.; Information technology.; Business-Data processing.; Mathematical Logic and Foundations.; Software Engineering.; Mathematical Logic and Formal Languages.; Computer Communication Networks.; Discrete Mathematics in Computer Science.; IT in Business.

This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100{150 participants { one...

Πίνακας περιεχομένων:

• 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.