X
feed icon rss

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
    Online-Ressource
    Online-Ressource
    Petri Nets: applications and relationships to other models of concurrency : advances in Petri Nets 1986, part II ; proceedings of an advanced course, Bad Honnef, 8. - 19. September 1986 ; APN 86 (1987)
    Berlin [u.a.] : Springer
    Details
    UID:
    gbv_595130674
    Umfang: Online-Ressource (X, 516 S.)
    Ausgabe: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540479260
    Serie: Lecture notes in computer science 255
    Inhalt: to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based models in the specification and verification of protocols -- Human-machine interaction and role/function/action-nets -- Nets in production systems -- Nets in computer organization -- Nets in office automation -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS — and its relationship to net theory -- COSY: Its relation to nets and to CSP -- TCSP: Theory of communicating sequential processes -- Reduction, data flow and control flow models of computation -- “Forgotten topics” of net theory.
    Inhalt: The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 3540179062
    Weitere Ausg.: ISBN 0387179062
    Weitere Ausg.: ISBN 9783540179061
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783662212035
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783540179061
    Sprache: Englisch
    Schlagwort(e): Konferenzschrift
    DOI: 10.1007/3-540-17906-2
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    URL: Inhaltstext
    Mehr zum Autor: Brauer, Wilfried 1937-2014
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    Stabi Berlin
    UB Potsdam
  • 2
    Online-Ressource
    Online-Ressource
    Petri Nets: Applications and Relationships to Other Models of Concurrency : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 (1987)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920995902882
    Umfang: X, 519 p. , online resource.
    ISBN: 9783540479260
    Serie: Lecture Notes in Computer Science, 255
    Inhalt: The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
    Anmerkung: to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based models in the specification and verification of protocols -- Human-machine interaction and role/function/action-nets -- Nets in production systems -- Nets in computer organization -- Nets in office automation -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS — and its relationship to net theory -- COSY: Its relation to nets and to CSP -- TCSP: Theory of communicating sequential processes -- Reduction, data flow and control flow models of computation -- “Forgotten topics” of net theory.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540179061
    Sprache: Englisch
    DOI: 10.1007/3-540-17906-2
    URL: http://dx.doi.org/10.1007/3-540-17906-2
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 3
    Online-Ressource
    Online-Ressource
    Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency (1987)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621316202882
    Umfang: X, 519 p. , online resource.
    Ausgabe: 1st ed. 1987.
    ISBN: 9783540479260
    Serie: Lecture Notes in Computer Science, 255
    Inhalt: The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
    Anmerkung: to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based models in the specification and verification of protocols -- Human-machine interaction and role/function/action-nets -- Nets in production systems -- Nets in computer organization -- Nets in office automation -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS - and its relationship to net theory -- COSY: Its relation to nets and to CSP -- TCSP: Theory of communicating sequential processes -- Reduction, data flow and control flow models of computation -- "Forgotten topics" of net theory.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783662212035
    Weitere Ausg.: Printed edition: ISBN 9783540179061
    Sprache: Englisch
    DOI: 10.1007/3-540-17906-2
    URL: https://doi.org/10.1007/3-540-17906-2
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 4
    Online-Ressource
    Online-Ressource
    Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency (1987)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186092802883
    Umfang: 1 online resource (X, 519 p.)
    Ausgabe: 1st ed. 1987.
    Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47926-0
    Serie: Lecture Notes in Computer Science, 255
    Inhalt: The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
    Anmerkung: Bibliographic Level Mode of Issuance: Monograph , to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based models in the specification and verification of protocols -- Human-machine interaction and role/function/action-nets -- Nets in production systems -- Nets in computer organization -- Nets in office automation -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS — and its relationship to net theory -- COSY: Its relation to nets and to CSP -- TCSP: Theory of communicating sequential processes -- Reduction, data flow and control flow models of computation -- “Forgotten topics” of net theory. , English
    In: Springer eBooks
    Weitere Ausg.: ISBN 3-540-17906-2
    Sprache: Englisch
    DOI: 10.1007/3-540-17906-2
    URL: http://dx.doi.org/10.1007/3-540-17906-2
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    FU Berlin
  • 5
    Online-Ressource
    Online-Ressource
    Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency (1987)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186092802883
    Umfang: 1 online resource (X, 519 p.)
    Ausgabe: 1st ed. 1987.
    Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47926-0
    Serie: Lecture Notes in Computer Science, 255
    Inhalt: The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
    Anmerkung: Bibliographic Level Mode of Issuance: Monograph , to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based models in the specification and verification of protocols -- Human-machine interaction and role/function/action-nets -- Nets in production systems -- Nets in computer organization -- Nets in office automation -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS — and its relationship to net theory -- COSY: Its relation to nets and to CSP -- TCSP: Theory of communicating sequential processes -- Reduction, data flow and control flow models of computation -- “Forgotten topics” of net theory. , English
    In: Springer eBooks
    Weitere Ausg.: ISBN 3-540-17906-2
    Sprache: Englisch
    DOI: 10.1007/3-540-17906-2
    URL: http://dx.doi.org/10.1007/3-540-17906-2
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    Charité
  • 6
    Online-Ressource
    Online-Ressource
    Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency (1987)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details
    UID:
    gbv_1649206496
    Umfang: Online-Ressource
    ISBN: 9783540479260
    Serie: Lecture Notes in Computer Science 255
    Weitere Ausg.: ISBN 9783540179061
    Weitere Ausg.: Buchausg. u.d.T. Petri nets: applications and relationships to other models of concurrency Berlin : Springer, 1987 ISBN 3540179062
    Weitere Ausg.: ISBN 0387179062
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): Petri-Netz ; Konferenzschrift
    DOI: 10.1007/3-540-17906-2
    URL: Volltext
    URL: Cover
    URL: Inhaltstext
    Mehr zum Autor: Brauer, Wilfried 1937-2014
    Mehr zum Autor: Rozenberg, Grzegorz 1942-
    Mehr zum Autor: Reisig, Wolfgang 1950-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    Stabi Berlin
  • 7
    Online-Ressource
    Online-Ressource
    Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency (1987)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almafu_9959186092802883
    Umfang: 1 online resource (X, 519 p.)
    Ausgabe: 1st ed. 1987.
    Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-47926-0
    Serie: Lecture Notes in Computer Science, 255
    Inhalt: The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
    Anmerkung: Bibliographic Level Mode of Issuance: Monograph , to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based models in the specification and verification of protocols -- Human-machine interaction and role/function/action-nets -- Nets in production systems -- Nets in computer organization -- Nets in office automation -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS — and its relationship to net theory -- COSY: Its relation to nets and to CSP -- TCSP: Theory of communicating sequential processes -- Reduction, data flow and control flow models of computation -- “Forgotten topics” of net theory. , English
    In: Springer eBooks
    Weitere Ausg.: ISBN 3-540-17906-2
    Sprache: Englisch
    DOI: 10.1007/3-540-17906-2
    URL: http://dx.doi.org/10.1007/3-540-17906-2
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.
Meinten Sie 9783540279860?
Meinten Sie 9783540297260?
Meinten Sie 9783440179260?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz