Vor Ort
Merkzettel Warenkorb
Produktbild: Concurrency and Nets

Concurrency and Nets Advances in Petri Nets

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

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.