KI-Beratung Beta

  • Produktbild: Advances in Petri Nets 1990
  • Produktbild: Advances in Petri Nets 1990
Band 483

Advances in Petri Nets 1990

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.03.1991

Abbildungen

VIII, 516 p.

Herausgeber

Grzegorz Rozenberg

Verlag

Springer Berlin

Seitenzahl

516

Maße (L/B/H)

23.5/15.5/2.9 cm

Gewicht

785 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-53863-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.03.1991

Abbildungen

VIII, 516 p.

Herausgeber

Grzegorz Rozenberg

Verlag

Springer Berlin

Seitenzahl

516

Maße (L/B/H)

23.5/15.5/2.9 cm

Gewicht

785 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-53863-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Advances in Petri Nets 1990
  • Produktbild: Advances in Petri Nets 1990
  • A survey of behaviour and equivalence preserving refinements of petri nets.- A distributed simulator for high order Petri nets.- Petri nets with uncertain markings.- Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows.- Improving the linearly based characterization of P/T nets.- Linear invariants in commutative high level nets.- Vicinity respecting net morphisms.- Regular stochastic petri nets.- Circuits, handles, bridges and nets.- On the analysis and synthesis of free choice systems.- Petri net models of a distributed election protocol on a unidirectional ring.- Hierarchies in coloured petri nets.- Coloured petri nets: A high level language for system design and analysis.- A simulation system architecture for graph models.- A state transformation preorder over a class of EN systems.- Composition of nets via a communication medium.- ?Trellis: A system for writing and browsing petri-net-based hypertext.- Stubborn sets for reduced state space generation.