Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings - Taschenbuch
2008, ISBN: 3540687459
[EAN: 9783540687450], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PETRI-NETZ; PETRINETS; ROUTING; SESSION; ALGORITHMS; BOUNDEDPETRINETS; CONCURRENTSYSTEMS; FORMALSPECIFICATION; … Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2008, ISBN: 3540687459
[EAN: 9783540687450], Neubuch, [PU: Springer Berlin Heidelberg], PETRI-NETZ PETRINETS ROUTING SESSION ALGORITHMS BOUNDEDPETRINETS CONCURRENTSYSTEMS FORMALSPECIFICATION FUZZYPETRINETS MODE… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings - neues Buch
2008, ISBN: 3540687459
2008 Kartoniert / Broschiert Petri-Netz, Diskrete Mathematik, Netzwerk-Hardware, Software Engineering, Theoretische Informatik, Systemanalyse und -design, Rechnerarchitektur und Logik-E… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2008, ISBN: 9783540687450
Taschenbuch
29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2008
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2008, ISBN: 9783540687450
29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2008
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings - Taschenbuch
2008, ISBN: 3540687459
[EAN: 9783540687450], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PETRI-NETZ; PETRINETS; ROUTING; SESSION; ALGORITHMS; BOUNDEDPETRINETS; CONCURRENTSYSTEMS; FORMALSPECIFICATION; … Mehr…
2008, ISBN: 3540687459
[EAN: 9783540687450], Neubuch, [PU: Springer Berlin Heidelberg], PETRI-NETZ PETRINETS ROUTING SESSION ALGORITHMS BOUNDEDPETRINETS CONCURRENTSYSTEMS FORMALSPECIFICATION FUZZYPETRINETS MODE… Mehr…
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings - neues Buch
2008
ISBN: 3540687459
2008 Kartoniert / Broschiert Petri-Netz, Diskrete Mathematik, Netzwerk-Hardware, Software Engineering, Theoretische Informatik, Systemanalyse und -design, Rechnerarchitektur und Logik-E… Mehr…
2008, ISBN: 9783540687450
Taschenbuch
29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2008
2008, ISBN: 9783540687450
29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2008
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Applications and Theory of Petri Nets
EAN (ISBN-13): 9783540687450
ISBN (ISBN-10): 3540687459
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin
429 Seiten
Gewicht: 0,676 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-03-22T11:07:40+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-05-22T19:35:10+02:00 (Vienna)
ISBN/EAN: 9783540687450
ISBN - alternative Schreibweisen:
3-540-68745-9, 978-3-540-68745-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: valk, rüdiger, diger, ruediger, van hee, kees, keeß, van hees
Titel des Buches: and, china 2008, pro petri, application theory petri nets, applications theory, xian, kees
Daten vom Verlag:
Autor/in: Kees van Hee; Rüdiger Valk
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Applications and Theory of Petri Nets - 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings
Verlag: Springer; Springer Berlin
429 Seiten
Erscheinungsjahr: 2008-05-30
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 429 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Petri nets; Routing; Session; algorithms; bounded Petri nets; concurrent systems; formal specification; fuzzy Petri nets; modeling; nets-within-nets; ontologies; programming; softw; validation; verification; Computer System Implementation; Theory of Computation; Software Engineering; Discrete Mathematics in Computer Science; Computer Communication Networks; Processor Architectures; Theoretische Informatik; Software Engineering; Mathematik für Informatiker; Diskrete Mathematik; Netzwerk-Hardware; Rechnerarchitektur und Logik-Entwurf; EA
Invited Papers.- Challenges and Opportunities for Formal Specifications in Service Oriented Architectures.- Modeling Interactions between Biochemical Reactions.- Transaction Calculus.- Stratifying Winning Positions in Parity Games.- On the Physical Basics of Information Flow.- Regular Papers.- Faster Unfolding of General Petri Nets Based on Token Flows.- Decomposition Theorems for Bounded Persistent Petri Nets.- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.- Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.- Synthesis of Nets with Step Firing Policies.- Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets.- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks.- Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario.- Parametric Language Analysis of the Class of Stop-and-Wait Protocols.- Hierarchical Set Decision Diagrams and Automatic Saturation.- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.- Modelling Concurrency with Quotient Monoids.- Labeled Step Sequences in Petri Nets.- MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).- A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.- Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning.- Process Discovery Using Integer Linear Programming.- Tool Papers.- Synthesis of Petri Nets from Scenarios with VipTool.- A Monitoring Toolset for Paose.- Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models.- HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets.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...