Research Catalog

Title

Application and theory of Petri nets, 1995 : 16th International Conference, Turin, Italy, June 26-30, 1995 : proceedings / Giorgio De Michelis, Michel Diaz, eds.

Author

International Conference on Applications and Theory of Petri Nets (16th : 1995 : Torino)

Publication

Berlin : Springer, [1995], ©1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• De Michelis, Giorgio.
• Diaz, Michel, 1945-

Description

viii, 509 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 935

Uniform Title

Lecture notes in computer science ; 935.

Subject

Petri nets > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• A Refined View of the Box Algebra / Eike Best and Maciej Koutny -- Distributed Algorithms and Causally Consistent Observations / Friedemann Mattern -- Petri Nets for Information Systems Modelling / Klaus Voss -- On Liveness in Extended non Self-Controlling Nets / K. Barkaoui, J. M. Couvreur and C. Dutheillet -- An Algebraic Semantics for Hierarchical P/T Nets / T. Basten and M. Voorhoeve -- A Petri Net based Environment for the Design of Event-driven Interfaces / R. Bastide and P. Palanque -- An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets / E. Battiston, O. Botti, E. Crivelli and F. De Cindio -- A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)[superscript 2] / E. Best, H. Fleischack, W. Fraczak, R. P. Hopkins, H. Klaudel and E. Pelz -- An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets / R. Brgan and D. Poitrenaud.
• CAB: an Environment for Developing Concurrent Application / G. Bruno, A. Castella, R. Agarwal and M. P. Pescarmona -- A Notion of Equivalence for Stochastic Petri Nets / P. Bucholz -- Parallel State Space Exploration for GSPN Models / S. Caselli, G. Conte and P. Marenzoni -- Modular State Space Analysis of Coloured Petri Nets / S. Christensen and L. Petrucci -- Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrating Fuzzy Reasoning / L. Gomes and A. Steiger-Garcao -- Symbolic Reachability Graph and Partial Symmetries / S. Haddad, J. M. Ilie, M. Taghelit and B. Zouari -- Causal Behaviours and Nets / J.-P. Katoen -- From Coloured Petri Nets to Object Petri Nets / C. Lakos -- Handles and Reachability Analysis of Free Choice Nets / D.-I. Lee, S. Kumagai and S. Kodama -- Performance Bounds for Stochastic Timed Petri Nets / Z. Liu.
• An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets / M. Molla-Hosseini, R. M. Kerr, R. B. Randall and R. B. Platfoot -- Subclasses of Recognizable Trace Languages / H. Reineke -- Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets / O. Roig, J. Cortadella and E. Pastor -- Parameterized Reachability Trees for Algebraic Petri Nets / K. Schmidt -- Efficient Simulation of THOR Nets / S. Schof, M. Sonnenschein and R. Wieting -- Functional Equivalences of Petri Nets / G. Schreiber -- Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems / P. Senac, P. de Saqui-Sannes and R. Willrich -- Markov Regenerative Stochastic Petri Nets with Age Type General Transitions / M. Telek and A. Bobbio -- Timed Processes of Timed Petri Nets / V. Valero, D. de Frutos and F. Cuartero.

ISBN

3540600299

OCLC

ocm32752131

Owning Institutions

Columbia University Libraries