+612 9045 4394
 
CHECKOUT
Application and Theory of Petri Nets 1997 : 18th International Conference, Icatpn'97, Toulouse, France, June 23-27, 1997, Proceedings - Pierre Azema

Application and Theory of Petri Nets 1997

18th International Conference, Icatpn'97, Toulouse, France, June 23-27, 1997, Proceedings

By: Pierre Azema (Editor), Gianfranco Balbo (Editor)

Paperback Published: 4th June 1997
ISBN: 9783540631392
Number Of Pages: 475

Share This Book:

Paperback

$158.39
or 4 easy payments of $39.60 with Learn more
Ships in 5 to 9 business days

This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.
The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.

Model Checking LTL Using Constraint Programmingp. 1
On the Composition of Timed Systemsp. 21
Some Issues about Petri Net Application to Manufacturing and Process Supervisory Controlp. 23
On the Abstraction of Coloured Petri Netsp. 42
Life-cycle Inheritance: A Petri-Net-Based Approachp. 62
Multi-Agent-Systems Based on Coloured Petri Netsp. 82
On the Complexity of the Linear-Time mu-calculus for Petri Netsp. 102
Improved Implementation via a New Structural Equivalence on Labelled Netsp. 117
Time Processes for Time Petri Netsp. 136
Timed Petri Nets and Temporal Linear Logicp. 156
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Netsp. 175
Petri's Axioms of Concurrency - A Selection of Recent Resultsp. 195
Analysis of Petri Nets with a Dynamic Priority Methodp. 215
A Compositional Partial Order Semantics for Petri Net Componentsp. 235
Covering Step Graph Preserving Failure Semanticsp. 253
Siphons, Traps and High-Level Nets with Infinite Color Domainsp. 271
Teaching Coloured Petri Nets - A Gentle Introduction to Formal Methods in a Distributed Systems Coursep. 290
Transition Systems of Elementary Net Systems with Inhibitor Arcsp. 310
Coupling Asynchrony and Interrupts: Place Chart Netsp. 328
Modelling and Solving Constraint Satisfaction Problems through Petri Netsp. 348
Fault Detection in Telecommunication Networks Based on Petri Net Representation of Alarm Propagationp. 367
Analysing Bang and Olufsen's BeoLink Audio/Video System Using Coloured Petri Netsp. 387
Verification of Workflow Netsp. 407
Verification of Siphons and Traps for Algebraic Petri Netsp. 427
Orthogonal Transformations for Coloured Petri Netsp. 447
Author Indexp. 467
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540631392
ISBN-10: 3540631399
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 475
Published: 4th June 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.46
Weight (kg): 0.67