Application and theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24 30, 2002 : proceedings
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
2003.
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
2360 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Application and theory of Petri nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, Javier Esparza, Charles Lakos (eds.), Berlin, Springer, 2002, 1 vol. (X-444 p.), Lecture notes in computer science, 3-540-43787-8 • Application and Theory of Petri Nets 2002, Texte imprimé, 9783540830047 |
書本目錄:
- 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.