Tipsa dina vänner om produkten:
Coloured Petri Nets: Modelling and Validation of Concurrent Systems Kurt Jensen
Pris
SEK 639
Beställningsvara
Förväntad leverans 5 - 13 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Finns även som:
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Kurt Jensen
This textbook introduces the constructs of Coloured Petri Nets (CPN) modelling language and presents the related analysis methods in detail. It also provides a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies.
384 pages, 27 black & white tables, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 2 november 2014 |
| ISBN13 | 9783642425813 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 384 |
| Mått | 155 × 235 × 21 mm · 553 g |
| Språk | Engelska |
Fler produkter med Kurt Jensen
Visa alla
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency III - Lecture Notes in Computer Science (Pocketbok) [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-pocketbok&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 (Pocketbok) [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 (Pocketbok) [2:a utgåva] [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 (Inbunden Bok) [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-inbunden-bok&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 (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1538840878)
Se alt med Kurt Jensen ( t.ex. Pocketbok , Inbunden Bok och Lösa papper )