Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Buch
    Buch
    Berlin [u.a.] :Springer,
    UID:
    almahu_BV019380632
    Umfang: VIII, 849 S. : , Ill., graph. Darst.
    ISBN: 3-540-22261-8
    Serie: Lecture notes in computer science 3098
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    Schlagwort(e): Petri-Netz ; Nebenläufigkeit ; Petri-Netz ; Verteiltes System ; Aufsatzsammlung ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift
    URL: Cover
    Mehr zum Autor: Desel, Jörg, 1959-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    almahu_9947920694802882
    Umfang: XX, 852 p. , online resource.
    ISBN: 9783540277552
    Serie: Lecture Notes in Computer Science, 3098
    Anmerkung: Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed Automata: Semantics, Algorithms and Tools -- Petri Nets and Dependability -- Process Algebra -- A Coloured Petri Net Approach to Protocol Verification -- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets -- A Survey on Non-interference with Petri Nets -- Synthesis of Asynchronous Hardware from Petri Nets -- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller Design -- Graph Grammars and Petri Net Transformations -- Message Sequence Charts -- Model-Based Development of Executable Business Processes for Web Services -- Modelling and Control with Modules of Signal Nets -- Application of Coloured Petri Nets in System Development -- Bigraphs for Petri Nets -- Notes on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object Petri Nets.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540222613
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    UID:
    gbv_749180757
    Umfang: Online-Ressource (VIII, 849 p. Also available online) , digital
    Ausgabe: Springer eBook Collection. Computer Science
    ISBN: 9783540277552 , 3540222618 , 9783540222613
    Serie: Lecture Notes in Computer Science 3098
    Inhalt: This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well
    Anmerkung: Based on lectures given at the 4th Advanced Course on Petri Nets held in Eichstätt, Germany in September 2003, but in order to provide a balanced presentation of the field, some of the lectures are non included, and some material not presented in Eichstätt is covered here
    Weitere Ausg.: ISBN 9783540222613
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783662190081
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783540222613
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    Schlagwort(e): Petri-Netz
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (Online Access)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    UID:
    almahu_9948621640602882
    Umfang: XX, 852 p. , online resource.
    Ausgabe: 1st ed. 2004.
    ISBN: 9783540277552
    Serie: Lecture Notes in Computer Science, 3098
    Anmerkung: Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed Automata: Semantics, Algorithms and Tools -- Petri Nets and Dependability -- Process Algebra -- A Coloured Petri Net Approach to Protocol Verification -- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets -- A Survey on Non-interference with Petri Nets -- Synthesis of Asynchronous Hardware from Petri Nets -- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller Design -- Graph Grammars and Petri Net Transformations -- Message Sequence Charts -- Model-Based Development of Executable Business Processes for Web Services -- Modelling and Control with Modules of Signal Nets -- Application of Coloured Petri Nets in System Development -- Bigraphs for Petri Nets -- Notes on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object Petri Nets.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783662190081
    Weitere Ausg.: Printed edition: ISBN 9783540222613
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Buch
    Buch
    Berlin [u.a.] : Springer
    UID:
    kobvindex_ZLB13765592
    Umfang: VIII, 848 Seiten , graph. Darst.
    Ausgabe: 1. Aufl.
    ISBN: 3540222618
    Serie: Lecture notes in computer science 3098
    Anmerkung: Literaturangaben , Text engl.
    Sprache: Englisch
    Schlagwort(e): Petri-Netz ; Nebenläufigkeit ; Aufsatzsammlung ; Petri-Netz ; Verteiltes System ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung
    Mehr zum Autor: Desel, Jörg
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 9783540222163?
Meinten Sie 9783540212683?
Meinten Sie 9783540122913?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz