书籍详情
佩特里网应用与理论2002/会议录
作者：Javier Esparza 著
出版社：湖南文艺出版社
出版时间：2002-12-01
ISBN：9783540437871
定价：¥632.80
购买这本书可以去
内容简介
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets， ICATPN 2002， held in Adelaide， Australia， in June 2002.The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed， in particular concurrent systems analysis， model validation， business process management， reactive systems， workflow processes， wireless transaction protocols.
作者简介
暂缺《佩特里网应用与理论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 Progr
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 Workfiow 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
Author Index
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 Progr
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 Workfiow 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
Author Index
猜您喜欢
