Application and Theory of Petri Nets 2002 [electronic resource] : 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings / edited by Javier Esparza, Charles Lakos.
Material type: TextSeries: Lecture Notes in Computer Science ; 2360Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Description: X, 445 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540480686Subject(s): Computer science | Computer Communication Networks | Software engineering | Operating systems (Computers) | Information theory | Computational complexity | Computer Science | Theory of Computation | Computer Communication Networks | Discrete Mathematics in Computer Science | Software Engineering | Operating SystemsAdditional physical formats: Printed edition:: No titleDDC classification: 004.0151 LOC classification: QA75.5-76.95Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK6305 |
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.
There are no comments on this title.