Vor Ort
Merkzettel Warenkorb
  • Produktbild: Application and Theory of Petri Nets 1994
  • Produktbild: Application and Theory of Petri Nets 1994
Band 815

Application and Theory of Petri Nets 1994 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.1994

Herausgeber

Robert Valette

Verlag

Springer Berlin

Seitenzahl

592

Maße (L/B/H)

23,5/15,5/3,3 cm

Gewicht

1840 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58152-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.1994

Herausgeber

Robert Valette

Verlag

Springer Berlin

Seitenzahl

592

Maße (L/B/H)

23,5/15,5/3,3 cm

Gewicht

1840 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58152-9

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Application and Theory of Petri Nets 1994
  • Produktbild: Application and Theory of Petri Nets 1994
  • Automatic verification of finite-state concurrent systems.- The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks.- On the model of computation of place/transition Petri nets.- B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation.- Probabilistic validation of a Remote Procedure Call protocol.- Occurrence graphs for Interval Timed Coloured Nets.- Implementation of weighted place/transition nets based on Linear Enabling Functions.- Hierarchical High Level Petri Nets for complex system analysis.- Modeling symmetric computer architectures by SWNs.- Coloured Petri Nets extended with channels for synchronous communication.- Petri nets with marking-dependent arc cardinality: Properties and analysis.- New structural invariants for Petri nets analysis.- Time Stream Petri Nets a model for timed multimedia information.- A term representation of P/T systems.- Superposed Generalized Stochastic Petri Nets: Definition and efficient solution.- Verification of recipe-based control procedures by means of predicate/transition nets.- Towards comprehensive support for the dynamic analysis of Petri net based models.- Partial order semantics of Box expressions.- A general systematic approach to arc extensions for coloured Petri Nets.- Liveness in bounded Petri nets which are covered by T-invariants.- Modelling the work flow of a nuclear waste management program.- Data structures and algorithms for extended state space and structural level reduction of the GSPN model.- Petri net analysis using boolean manipulation.- Modelling of pilot behaviour using petri nets.- Simulation and analysis of a document storage system.- Cooperative Nets.- Well-formedness of Equal Conflict systems.- Symbolic, symmetry, and stubborn set searches.- Compositional analysis with place-bordered subnets.- On combining the stubborn set method with the sleep set method.- OR causality: Modelling and hardware implementation.