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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.1994

Abbildungen

XII, 592 p.

Herausgeber

Robert Valette

Verlag

Springer Berlin

Seitenzahl

592

Maße (L/B/H)

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

Gewicht

902 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58152-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.1994

Abbildungen

XII, 592 p.

Herausgeber

Robert Valette

Verlag

Springer Berlin

Seitenzahl

592

Maße (L/B/H)

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

Gewicht

902 g

Auflage

1994

Sprache

Englisch

ISBN

978-3-540-58152-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: 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.