Application and Theory of Petri Nets 1995 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings

Name: Application and Theory of Petri Nets 1995 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
Price: 18.12 USD
Availability: InStock
ISBN: 9783540600299

ISBN-10: 3540600299

ISBN-13: 9783540600299

Edition: 1995

Authors: Giorgio De Michelis, Michel Diaz, G. Goos, J. Hartmanis, Jan Van Leeuwen

List price: $54.99

30 day, 100% satisfaction guarantee!

Marketplace

3 new & used from $18.12

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier.

Book details

List price: $54.99
Copyright year: 1995
Publisher: Springer Berlin / Heidelberg
Publication date: 6/7/1995
Binding: Paperback
Pages: 518
Size: 6.10" wide x 9.25" long
Weight: 3.564
Language: English



A Refined View of the Box Algebra



Distributed Algorithms and Causally Consistent Observations



Petri Nets for Information Systems Modelling



On Liveness in Extended non Self-Controlling Nets



An Algebraic Semantics for Hierarchical P/T Nets



A Petri Net based Environment for the Design of Event-driven Interfaces



An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets



A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)[superscript 2]



An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets



CAB: an Environment for Developing Concurrent Application



A Notion of Equivalence for Stochastic Petri Nets



Parallel State Space Exploration for GSPN Models



Modular State Space Analysis of Coloured Petri Nets



Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrating Fuzzy Reasoning



Symbolic Reachability Graph and Partial Symmetries



Causal Behaviours and Nets



From Coloured Petri Nets to Object Petri Nets



Handles and Reachability Analysis of Free Choice Nets



Performance Bounds for Stochastic Timed Petri Nets



An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets



Subclasses of Recognizable Trace Languages



Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets



Parameterized Reachability Trees for Algebraic Petri Nets



Efficient Simulation of THOR Nets



Functional Equivalences of Petri Nets



Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems



Markov Regenerative Stochastic Petri Nets with Age Type General Transitions



Timed Processes of Timed Petri Nets



Author Index