Application and Theory of Petri Nets 2002
23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
Fr. 144.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Application and Theory of Petri Nets 2002 “
Klappentext zu „Application and Theory of Petri Nets 2002 “
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 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.
Inhaltsverzeichnis zu „Application and Theory of Petri Nets 2002 “
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 HysteresisUsing 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.
Bibliographische Angaben
- 2002, 2002, 445 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben:Esparza, Javier; Lakos, Charles
- Herausgegeben: Charles Lakos, Javier Esparza
- Verlag: Springer
- ISBN-10: 3540437878
- ISBN-13: 9783540437871
- Erscheinungsdatum: 12.06.2002
Sprache:
Englisch
Kommentar zu "Application and Theory of Petri Nets 2002"
0 Gebrauchte Artikel zu „Application and Theory of Petri Nets 2002“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Application and Theory of Petri Nets 2002".
Kommentar verfassen