Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Esparza, Javier (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Lakos, Charles (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2360
• Θέματα: Computers.; Software engineering.; Mathematical logic.; Computer communication systems.; Computer science-Mathematics.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Foundations.; Computer Communication Networks.; Discrete Mathematics in Computer Science.; Software Engineering.

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

• Invited Papers
• Making Work Flow: On the Application of Petri Nets to Business Process Management
• Model Validation - A Theoretical Issue?
• The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming
• The Challenge of Object Orientation for the Analysis of Concurrent Systems
• Abstract Cyclic Communicating Processes: A Logical View
• Is the Die Cast for the Token Game?
• Regular Papers
• Quasi-Static Scheduling of Independent Tasks for Reactive Systems
• Data Decision Diagrams for Petri Net Analysis
• Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes
• Real-Time Synchronised Petri Nets
• Computing a Finite Prefix of a Time Petri Net
• Verification of a Revised WAP Wireless Transaction Protocol
• Characterizing Liveness of Petri Nets in Terms of Siphons
• Petri Nets, Situations, and Automata
• Reproducibility of the Empty Marking
• Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets
• Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification
• Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets
• Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method
• Regular Event Structures and Finite Petri Nets: The Conflict-Free Case
• A Formal Service Specification for the Internet Open Trading Protocol
• Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm
• Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow
• Translating TPAL Specifications into Timed-Arc Petri Nets
• Tool Presentation
• Maria: Modular Reachability Analyser for Algebraic System Nets.