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

by Giorgio DeMichelis (Editor)

A refined view of the box algebra.- Distributed algorithms and causally consistent observations (abstract).- 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 System using a class of modular algebraic nets.- A class of composable high level Petri nets.- An efficient algorithm for the computation of stubborn sets of well formed Petri Nets.- 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 A model for hypermedia systems.- Markov Regenerative Stochastic Petri Nets with age type general transitions.- Timed processes of Timed Petri Nets.

528 pages, Paperback

First published July 7, 1995