Overview

The main aims of the series of volumes ""Advances in PetriNets"" are:- to present to the ""outside"" scientific community a fairpicture of recent advances in the area of Petri nets, and- to encourage those interested in the applications and thetheory of concurrent systems to take a closer look at Petrinets and then join the group of researchers working in thisfascinating and challenging area. This volume is based on the proceedings of the 12thInternational Conference on Applications and Theory of PetriNets, held in Gjern, Denmark, in June 1991. It contains 18selected and revised papers covering all aspects of recentPetri net research.

Full Product Details

Author:   Grzegorz Rozenberg
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1993 ed.
Volume:   674
Dimensions:   Width: 15.50cm , Height: 2.40cm , Length: 23.50cm
Weight:   1.450kg
ISBN:  

9783540566892

ISBN 10:   3540566899
Pages:   462
Publication Date:   27 May 1993
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Replacement of open interface subnets and stable state transformation equivalence.- Bounded self-stabilizing Petri nets.- Generative families of positive invariants in Coloured nets sub-classes.- Autonomous and timed continuous Petri nets.- The Devnet: A Petri net for discrete event simulation.- A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets.- A concept of hierarchical Petri nets with building blocks.- Petri net tool overview 1992.- The minimal coverability graph for Petri nets.- Distributed implementation of CCS.- Saturation conditions for Stochastic Petri Nets.- Marking optimization in timed event graphs.- Parameterized reachability trees for Predicate/Transition nets.- Iterative decomposition and aggregation of Stochastic marked graph Petri nets.- Constraints and extensions in a Calculus of EN systems.- Comparability orders and measurement.- Deterministic systems of sequential processes: A class of structured Petri nets.- Compositional state space generation.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions