Application and theory of Petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings / Javier Esparza, Charles Lakos (eds.).
| Author/creator | International Conference on Applications and Theory of Petri Nets |
| Format | Book |
| Publication | Berlin ; New York : Springer, 2002. |
| Description | x, 444 pages : illustrations ; 24 cm. |
| Supplemental Content | SpringerLink |
| Supplemental Content | SpringerLink |
| Supplemental Content | Table of contents |
| Supplemental Content | Table of contents |
| Supplemental Content | Restricted to SpringerLink subscribers |
| Supplemental Content | eBook available for UOIT via SpringerLink. Click link to access |
| Supplemental Content | http://www.link.springer.de/link/service/series/0558/tocs/t2360.htm |
| Supplemental Content | An electronic book accessible through the World Wide Web; click for information |
| Supplemental Content | Restricted to SpringerLink subscribers |
| Subjects |
| Portion of title | ICATPN 2002 |
| Series | Lecture notes in computer science, 0302-9743 ; 2360 Lecture notes in computer science ; 2360. |
| Contents | 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. |
| General note | "International Conference on Application and Theory of Petri Nets"--Preface |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| Genre/form | Kongress Adelaide 2002. |
| Genre/form | Conference papers and proceedings. |
| Genre/form | Adelaide (2002) |
| ISBN | 3540437878 (pbk.) |
| ISBN | 9783540437871 (pbk.) |
| ISBN | 9783540480686 |
| ISBN | 3540480684 |
| Stock number | 978-3-540-43787-1 Springer http://www.springerlink.com |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA267 .I56 2002 | ✔ Available | Place Hold |