Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings by Javier EsparzaApplication and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings by Javier Esparza

Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide…

byJavier EsparzaEditorCharles Lakos

Paperback | June 12, 2002

Pricing and Purchase Info

$148.02 online 
$178.50 list price save 17%
Earn 740 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This volume contains the proceedings of the 23rd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressinthe applicationandtheoryofPetrinets. Typically, the conferences have 100-150participants - one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. The conference and a number of other activities are co-ordinated by a ste- ing committee with the following members: G. Balbo (Italy), J. Billington (A- tralia),G.De Michelis(Italy),S.Haddad(France),K.Jensen(Denmark),S.- magai (Japan), T. Murata (USA), C.A. Petri (Germany; honorary member), W. Reisig (Germany), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Other activities before and during the 2002 conference included tool dem- strations, extensive introductory tutorials, two advanced tutorials on "Work?ow Management: Models, Methods, and Systems" and "Model Checking", and two workshops on "Software Engineering and Formal Methods" and "Formal Me- ods Applied to Defence Systems". The tutorial notes and workshop proceedings are not published in this volume, but copies are available from the organ- ers. The proceedings can be found at http://www.jrpit.flinders.edu.au/ CRPIT.html. The 2002 conference was organized by the Computer Systems Engineering Centre, School of Electrical and Information Engineering at the University of South Australia, Adelaide, Australia with assistance from the Department of Computer Science, Adelaide University, Adelaide, Australia. We would like to thankthemembersoftheorganizingcommittee(seenextpage)andtheir teams.
Title:Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide…Format:PaperbackDimensions:445 pages, 23.5 × 15.5 × 0.01 inPublished:June 12, 2002Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540437878

ISBN - 13:9783540437871

Look for similar items by category:

Reviews

Table of 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.