Vor Ort
Merkzettel Warenkorb
  • Produktbild: Application and Theory of Petri Nets 1996
  • Produktbild: Application and Theory of Petri Nets 1996
Band 1091

Application and Theory of Petri Nets 1996 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings

Aus der Reihe Lecture Notes in Computer Science

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.1996

Herausgeber

Jonathan Billington + weitere

Verlag

Springer Berlin

Seitenzahl

556

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

844 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61363-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.1996

Herausgeber

Verlag

Springer Berlin

Seitenzahl

556

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

844 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61363-3

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 1996
  • Produktbild: Application and Theory of Petri Nets 1996
  • Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition.- Temporal uncertainty and fuzzy-timing high-level Petri nets.- Compositionality in state space verification methods.- On liveness and controlled siphons in Petri nets.- Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets.- High level synthesis of synchronous parallel controllers.- Non sequential semantics for contextual P/T nets.- The PSR methodology: Integrating hardware and software models.- Designing and verifying a communications gateway using coloured Petri nets and design/CPN™.- Expected impulse rewards in Markov regenerative stochastic Petri nets.- Asynchronous composition of high level Petri Nets: A quantitative approach.- A formal definition of hierarchical predicate transition nets.- Reduced state space representation for unbounded vector state spaces.- Modelling and analysis of distributed program execution in BETA using coloured Petri Nets.- Reachability analysis based on structured representations.- Arc-typed Petri Nets.- The SEA Language for system engineering and animation.- A new iterative numerical solution algorithm for a class of stochastic Petri Nets.- A structural approach for the analysis of Petri Nets by reduced unfoldings.- An O(¦S¦ × ¦T¦)-algorithm to verify if a net is regular.- The consistent use of names and polymorphism in the definition of Object Petri Nets.- Designing a security system by means of Coloured Petri Nets.- Modeling and analysing DART systems through high-level Petri nets.- {SC}*ECS: A class of modular and hierarchical cooperating systems.- Behavioural equivalence for infinite systems — Partially decidable!.- Topological aspects of traces.- Asynchronous control device design by net model behavior simulation.- Covering step graph.- Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks.