Fortæl dine venner om denne vare:
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 - Monographs in Theoretical Computer Science. An EATCS Series Kurt Jensen 2nd ed. 1996. 2nd corr. printing 1997 edition
Pris
DKK 1.399
Bestilles fra fjernlager
Forventes klar til forsendelse 29. dec. - 2. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 - Monographs in Theoretical Computer Science. An EATCS Series
Kurt Jensen
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN).
236 pages, biography
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 25. marts 1996 |
| ISBN13 | 9783540609438 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 236 |
| Mål | 155 × 235 × 15 mm · 530 g |
| Sprog | Engelsk |
Mere med Kurt Jensen
Vis alle
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science (Paperback Bog) [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-paperback-bog&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 (Paperback Bog) [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-paperback-bog&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 (Paperback Bog) [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-paperback-bog&class=scaled&v=1408468337)
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency III - Lecture Notes in Computer Science (Paperback Bog) [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-paperback-bog&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Coloured Petri Nets: Modelling and Validation of Concurrent Systems (Hardcover bog) [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-hardcover-bog&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 (Paperback Bog) [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 (Paperback Bog) [2. udgave] [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 2 - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover bog) [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-hardcover-bog&class=scaled&v=1538840878)
Se alt med Kurt Jensen ( f.eks. Paperback Bog , Hardcover bog og Løsblad )