Merkzettel Warenkorb
Produktbild: Concurrency and Nets

Concurrency and Nets Advances in Petri Nets

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.12.2011

Herausgeber

Klaus Voss + weitere

Verlag

Springer Berlin

Seitenzahl

622

Maße (L/B/H)

24,4/17/3,5 cm

Gewicht

1087 g

Auflage

Softcover reprint of the original 1st ed. 1987

Sprache

Englisch

ISBN

978-3-642-72824-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.12.2011

Herausgeber

Verlag

Springer Berlin

Seitenzahl

622

Maße (L/B/H)

24,4/17/3,5 cm

Gewicht

1087 g

Auflage

Softcover reprint of the original 1st ed. 1987

Sprache

Englisch

ISBN

978-3-642-72824-2

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: Concurrency and Nets
  • I: Addresses and Talks Given at the Colloquium.- Congratulatory Address.- Congratulatory Address.- Congratulatory Address.- Congratulatory Address.- Congratulatory Address.- Carl Adam Petri and Informatics.- Applying Petri Net Based Models in the Design of Systems.- II: Contributed Papers.- Some Classes of Live and Safe Petri Nets.- A Model of Cooperation and its Specification with Nets.- The Communication Disciplines of CHAOS.- On the Structure of Dependence Graphs.- Some Remarks on D-continuity.- Numerical Simulations with Place/Transactor-Nets.- Net Models of Dynamically Evolving Data Structures.- On Condition/Event Representations of Place/Transition Nets.- Finite Conjunctive Nondeterminism.- Petri Net Languages and One-Sided Dyck-Reductions on Context- Free Sets.- From Nets to Logic and back in the Specification of Processes.- Types and Modules for Net Specifications.- An Introduction to the Macro COSY Notation.- Linear Algebraic Calculation of Deadlocks and Traps.- On Different Kinds of Frozen Tokens in Petri Nets.- High Level Petri Nets and Distributed Termination.- Communication and Database Oriented Modelling of Multilateral Cooperation — A Comparison Based on Petri Nets.- The Structure of Facts in Occurrence Nets.- Observing Net Behaviour.- Algebraic Models of Parallelism and Net Theory.- Towards a Synchrony Theory for P/T Nets.- The Semantics of a Net is a Net — An Exercise in General Net Theory.- On the Mutual Simulat ability of Different Types of Petri Nets.- Development and Application of Petri Net based Techniques in Australia.- Quantitative Analysis of a Resource Allocation Problem: A Net Theory Based Proposal.- Existential Quantifiers in Predicate-Fact-Nets.- Petri Nets for Sequence Constraint Propagation in Knowledge Based Approaches.- Extension and Intension of Actions.- Interface as a Basic Concept for Systems Specification and Verification.- Specification and Verification of Asynchronous Circuits using Marked Graphs.