Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings Johan Lilius (u. a.) Taschenbuch Book Englisch 2010 - Taschenbuch
2010, ISBN: 9783642136740
[ED: Taschenbuch], [PU: Springer Berlin], This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurr… Mehr…
booklooker.de |
2010, ISBN: 9783642136740
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings, Buch, Softcover, This volume consists of the proceedings of the 31th International Conferen… Mehr…
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings 2010 - gebrauchtes Buch
2010, ISBN: 9783642136740
2010 Neubindung, Buchrücken leicht geknickt 7839612/12 Versand D: 3,00 EUR colored petri nets,modeling language,Factor,modeling,distributed systems,programming,behavioral programming,proc… Mehr…
buchfreund.de |
2010, ISBN: 3642136745
Applications and Theory of Petri Nets ab 27.99 € als Taschenbuch: 31st International Conference PETRI NETS 2010 Braga Portugal June 21-25 2010 Proceedings. Auflage 2010. Aus dem Bereich: … Mehr…
Hugendubel.de Nr. 11508873. Versandkosten:, , DE. (EUR 0.00) Details... |
2010, ISBN: 9783642136740
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings Johan Lilius (u. a.) Taschenbuch Book Englisch 2010 - Taschenbuch
2010, ISBN: 9783642136740
[ED: Taschenbuch], [PU: Springer Berlin], This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurr… Mehr…
2010, ISBN: 9783642136740
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings, Buch, Softcover, This volume consists of the proceedings of the 31th International Conferen… Mehr…
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings 2010 - gebrauchtes Buch
2010
ISBN: 9783642136740
2010 Neubindung, Buchrücken leicht geknickt 7839612/12 Versand D: 3,00 EUR colored petri nets,modeling language,Factor,modeling,distributed systems,programming,behavioral programming,proc… Mehr…
2010, ISBN: 3642136745
Applications and Theory of Petri Nets ab 27.99 € als Taschenbuch: 31st International Conference PETRI NETS 2010 Braga Portugal June 21-25 2010 Proceedings. Auflage 2010. Aus dem Bereich: … Mehr…
2010, ISBN: 9783642136740
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Applications and Theory of Petri Nets
EAN (ISBN-13): 9783642136740
ISBN (ISBN-10): 3642136745
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
329 Seiten
Gewicht: 0,523 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2011-03-25T20:37:53+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-02-16T12:47:51+01:00 (Vienna)
ISBN/EAN: 9783642136740
ISBN - alternative Schreibweisen:
3-642-13674-5, 978-3-642-13674-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wojciech, pencz
Titel des Buches: application theory petri nets, portugal, braga, theory applications, lecture notes computer science, johan
Daten vom Verlag:
Autor/in: Johan Lilius; Wojciech Penczek
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Applications and Theory of Petri Nets - 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings
Verlag: Springer; Springer Berlin
329 Seiten
Erscheinungsjahr: 2010-06-09
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 329 p. 129 illus.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Factor; algorithms; behavioral programming; colored petri nets; data structures; deadlocks; distributed systems; modeling; modeling language; petri nets; process mining; programming; real-time systems; state space; verification; Theory of Computation; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computerprogrammierung und Softwareentwicklung; Software Engineering; Compiler und Übersetzer; EA
Invited Papers.- Instance Deadlock: A Mystery behind Frozen Programs.- Some Thoughts on Behavioral Programming.- Petri Nets with Localities and Testing.- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future.- Full Papers.- Can Stubborn Sets Be Optimal?.- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition.- Canonical Transition Set Semantics for Petri Nets.- A Characterization of Combined Traces Using Labeled Stratified Order Structures.- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets.- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets.- Forward Analysis for Petri Nets with Name Creation.- Learning Workflow Petri Nets.- Process Mining from a Basis of State Regions.- Separability in Persistent Petri Nets.- New Algorithms for Deciding the Siphon-Trap Property.- Tool Papers.- AlPiNA: A Symbolic Model Checker.- Wendy: A Tool to Synthesize Partners for Services.- GreatSPN Enhanced with Decision Diagram Data Structures.- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540123095 Applications and Theory of Petri Nets (G. Rozenberg)
< zum Archiv...