Application and theory of Petri nets 1997 : 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings / Pierre Azéma, Gianfranco Balbo (eds.).
| Author/creator | International Conference on Applications and Theory of Petri Nets |
| Other author | Azema, Pierre. |
| Other author | Balbo, Gianfranco. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©1997. |
| Description | viii, 466 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 1248 Lecture notes in computer science 1248. ^A466336 |
| Contents | Model checking LTL using constraint programming / J. Esparza, S. Melzer -- On the composition of timed systems / J. Sifakis -- Some issues about petri net application to manufacturing and process supervisory control / R. Valette -- On the abstraction of coloured petri nets / C. Lakos -- Life-cycle inheritance : a petri-net-based approach / W.M.P. van der Aalst, T. Basten -- Multi-agent-systems based on coloured petri nets / D. Moldt, F. Wienberg -- On the complexity of the linear-time mu-calculus for petri nets / P. Habermehl -- Improved implementations via a new structural equivalence on labelled nets / W. Fraçzak, E. Pelz -- Time processes for time petri nets / T. Aura, J. Lilius -- Timed petri nets and temporal linear logic / M. Tanabe -- Efficient handling of phase-type distributions in generalized stochastic petri nets / S. Haddad, P. Moreaux, G. Chiola -- Petri's axioms of concurrency : a selection of recent results / O. Kummer, M.-O. Stehr -- Analysis of petri nets with a dynamic priority method / F. Bause -- A compositional partial order semantics for petri net components / E. Kindler -- Covering step graph preserving failure semantics / F. Vernadat, F. Michel -- Siphons, traps and high-level nets with infinite color domains / K. Schmidt -- Teaching coloured petri nets : a gentle introduction to formal methods in a distributed systems course / S. Christensen, K.H. Mortensen -- Transition systems of elementary net systems with inhibitor arcs / M. Pietkiewicz-Koutny -- Coupling asynchrony and interrupts : place chart nets / M. Kishinevsky ... [et al.] -- Modelling and solving constraint satisfaction problems through petri nets / L. Portinale -- Fault detection in telecommunication networks based on petri net representation of alarm propagation / R. Boubour, C. Jard -- Analysing Bang & Olufsen's BeoLink [superscript registered trademark symbol] audio/video system using coloured petri nets / S. Christensen, J.B. Jørgensen -- Verification of workflow nets / W.M.P. van der Aalst -- Verification of siphons and traps for algebraic petri nets / K. Schmidt -- Othogonal transformations for coloured petri nets / E. Best, T. Thielke. |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | gb 97055634 |
| ISBN | 3540631399 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA267 .A66 1997 | ✔ Available | Place Hold |