‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Transactions on Petri Nets and Other Models of Concurrency IV

Linksbuch Neu neu Rechtsbuch

Jensen, Kurt (Orchester)

Transactions on Petri Nets and Other Models of Concurrency IV (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6550

Springer-Verlag GmbH, Springer Berlin, Februar 2011


225 S. - Sprache: Englisch - Illustrations - 242x156x15 mm

ISBN: 3642182216 EAN: 9783642182211

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences; Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series); Other papers invited for publication in ToPNoC; Papers submitted directly to ToPNoC by their authors. The fourth volume of ToPNoC contains revised and extended versions of a selection of the best papers from the workshops held at the 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. The nine papers provide good coverage of a diverse range of topics including workflow systems, model checking, agent-based software systems, the state explosion problem, structure theory for Petri nets, and modal logics. 'The volume presents a good mixture of theory, tools, and practical applications related to concurrency and gives a useful snapshot of current research.


Preis: 74,89 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 74,89 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

The book presents a mixture of theory, tools, and practical applications related to concurrency The papers chosen have been through several rounds of selection and improvement A detailed introduction to the papers is provided in the frontmatter, freely available on SpringerLink

Inhaltsverzeichnis

-Vicinity Respecting Homomorphisms for Abstracting System Requirements.- Search-Order Independent State Caching.- Bounded Parametric Model Checking for Elementary Net Systems.- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets .- Parametric Model Checking with VerICS.- Schedule-Aware Workflow Management Systems.- On-the-Fly Auditing of Business Processes.- Modeling Organizational Units as Modular Components of Systems of Systems.- A Multi-Agent Organizational Framework for Coevolutionary Optimization.


ISBN 3-642-18221-6

ISBN 978-3-642-18221-1

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. von Badger, Julia M. (Herausgeber); Rozier, Kristin Yvonne (Herausgeber)
78,10 EUR

Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, von Kochetov, Yury (Herausgeber); Khachay, Michael (Herausgeber); Beresnev, Vladimir (Herausgeber); Nurm
85,59 EUR

Transactions on Aspect-Oriented Software Development III Focus: Early Aspects von Rashid, Awais (Herausgeber); Aksit, Mehmet (Herausgeber)
99,99 EUR

Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Oc von Düsterhöft, Antje (Herausgeber); Klettke, Meike (Herausgeber); Schewe, Klaus-Dieter (Herausgeber)
64,19 EUR
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 20 von Anjorin, Anthony (Herausgeber); Espinoza, Huáscar (Herausgeber)
69,54 EUR

Agentensysteme in der Automatisierungstechnik von Göhner, Peter (Herausgeber)
79,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.