Freunden von diesem Artikel berichten:
High-level Petri Nets: Theory and Application Kurt Jensen
Preis
SFr. 44,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 31. Dez - 5. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
High-level Petri Nets: Theory and Application
Kurt Jensen
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The step from low-level nets to high-level nets can be compared to the step from assembly languages to modem programming languages with an elaborated type concept.
724 pages, 6 black & white illustrations, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 31. Juli 1991 |
| ISBN13 | 9783540541257 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 724 |
| Maße | 170 × 242 × 37 mm · 1,15 kg |
| Sprache | Deutsch |
| Redakteur | Jensen, Kurt |
| Redakteur | Rozenberg, Grzegorz |
Weitere Titel von Kurt Jensen
Alle anzeigen
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science (Taschenbuch) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/423/9783642381423.jpg?kurt-jensen-2013-transactions-on-petri-nets-and-other-models-of-concurrency-vii-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use - Monographs in Theoretical Computer Science. An EATCS Series (Taschenbuch) [Softcover reprint of the original 1st ed. 1997 edition] (2011)](https://imusic.b-cdn.net/images/item/original/563/9783642645563.jpg?kurt-jensen-2011-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-monographs-in-theoretical-computer-science-an-eatcs-series-taschenbuch&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 - Monographs in Theoretical Computer Science. An EATCS Series (Taschenbuch) [Softcover reprint of hardcover 1st ed. 1995 edition] (2010)](https://imusic.b-cdn.net/images/item/original/009/9783642082009.jpg?kurt-jensen-2010-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-2-monographs-in-theoretical-computer-science-an-eatcs-series-taschenbuch&class=scaled&v=1408468337)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 - Monographs in Theoretical Computer Science. An EATCS Series (Taschenbuch) [Softcover reprint of hardcover 2nd ed. 1996 edition] (2010)](https://imusic.b-cdn.net/images/item/original/436/9783642082436.jpg?kurt-jensen-2010-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-1-monographs-in-theoretical-computer-science-an-eatcs-series-taschenbuch&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency III - Lecture Notes in Computer Science (Taschenbuch) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/548/9783642048548.jpg?kurt-jensen-2009-transactions-on-petri-nets-and-other-models-of-concurrency-iii-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Modelling and Validation of Concurrent Systems (Gebundenes Buch) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/830/9783642002830.jpg?kurt-jensen-2009-coloured-petri-nets-modelling-and-validation-of-concurrent-systems-gebundenes-buch&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee (Taschenbuch) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/997/9783540212997.jpg?kurt-jensen-2004-tools-and-algorithms-for-the-construction-and-analysis-of-systems-10th-international-conference-tacas-2004-held-as-part-of-the-joint-european-conferences-on-theory-and-practice-of-software-etaps-2004-barcelona-spain-march-29-april-2-2004-p&class=scaled&v=1538836911)
![Cover for Kurt Jensen · Sikkerhedselektronik (Taschenbuch) [2. Ausgabe] [Løsblade] (2003)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 - Monographs in Theoretical Computer Science. An EATCS Series (Gebundenes Buch) [2nd ed. 1996. 2nd corr. printing 1997 edition] (1996)](https://imusic.b-cdn.net/images/item/original/438/9783540609438.jpg?kurt-jensen-1996-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-1-monographs-in-theoretical-computer-science-an-eatcs-series-gebundenes-buch&class=scaled&v=1537926439)
![Cover for Kurt Jensen · Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 - Monographs in Theoretical Computer Science. An EATCS Series (Gebundenes Buch) [1st ed. 1995. 2nd corr. printing 1997 edition] (1994)](https://imusic.b-cdn.net/images/item/original/762/9783540582762.jpg?kurt-jensen-1994-coloured-petri-nets-basic-concepts-analysis-methods-and-practical-use-volume-2-monographs-in-theoretical-computer-science-an-eatcs-series-gebundenes-buch&class=scaled&v=1538840878)
Alle Titel von Kurt Jensen ansehen ( u. a. Taschenbuch , Gebundenes Buch und Lose Papiere )