-
Zusatztext
-
InhaltsangabeReplacement 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.
-
Detailansicht
Advances in Petri Nets 1993
Lecture Notes in Computer Science 674
ISBN/EAN: 9783540566892
Umbreit-Nr.: 1431378
Sprache:
Englisch
Umfang: x, 462 S.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 27.05.1993