Conte aos seus amigos sobre este item:
Coloured Petri Nets: Modelling and Validation of Concurrent Systems Kurt Jensen
Preço
€ 58,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 25 de nov - 3 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Kurt Jensen
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 2 de novembro de 2014 |
| ISBN13 | 9783642425813 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 384 |
| Dimensões | 155 × 235 × 21 mm · 553 g |
| Idioma | Inglês |
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency VII - Lecture Notes in Computer Science (Paperback Book) [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-book&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 Book) [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-book&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 Book) [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-book&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 (Paperback Book) [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-paperback-book&class=scaled&v=1446423566)
![Cover for Kurt Jensen · Transactions on Petri Nets and Other Models of Concurrency III - Lecture Notes in Computer Science (Paperback Book) [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-book&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 Book) [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 Dieter Frey · Mitarbeiterfuhrung in der Wissenschaft: 100 Fragen - 100 Antworten fur die Praxis (Paperback Book) [1. Aufl. 2025 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Multiple Sklerose: Klinik – Therapie – Patientenfuhrung (Hardcover Book) [1. Aufl. 2022 edition] (2028)](https://imusic.b-cdn.net/images/item/original/558/9783642229558.jpg?2028-multiple-sklerose-klinik-therapie-patientenfuhrung-hardcover-book&class=scaled&v=1510654586)
![Cover for Ines Hartel · Einfuhrung in das Klimaschutzrecht: Klimaschutz durch wohlgeordnetes Recht? (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/461/9783540887461.jpg?ines-hartel-2027-einfuhrung-in-das-klimaschutzrecht-klimaschutz-durch-wohlgeordnetes-recht-paperback-book&class=scaled&v=1569154171)
![Cover for Georg Glaeser · A Mathematical Picture Book (Hardcover Book) [1st ed. 2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/473/9783642146473.jpg?georg-glaeser-2027-a-mathematical-picture-book-hardcover-book&class=scaled&v=1592396260)
![Cover for Georg Kupper · Nebenstrafrecht (Paperback Book) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/652/9783540890652.jpg?georg-kupper-2027-nebenstrafrecht-paperback-book&class=scaled&v=1487269550)
![Cover for Yuling Xie · Ore Genesis and Deposit Model: The Mianning-Dechang REE Belt in Western Sichuan Province, China - Springer Geology (Hardcover Book) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/828/9783662539828.jpg?yuling-xie-2027-ore-genesis-and-deposit-model-the-mianning-dechang-ree-belt-in-western-sichuan-province-china-springer-geology-hardcover-book&class=scaled&v=1503410043)
![Cover for Rudolf Streinz · Verfassungsrecht III: Die Einbindung der Bundesrepublik Deutschland in die Volkerrechtsgemeinschaft und in die Europaische Union (Paperback Book) [1. Aufl. 2023 edition] (2027)](https://imusic.b-cdn.net/images/item/original/579/9783540010579.jpg?rudolf-streinz-2027-verfassungsrecht-iii-die-einbindung-der-bundesrepublik-deutschland-in-die-volkerrechtsgemeinschaft-und-in-die-europaische-union-paperback-book&class=scaled&v=1505073788)
![Cover for Junrui Liang · Piezoelectric Energy Harvesting Systems: Integrated Analysis and Implementation - Green Energy and Technology (Hardcover Book) [1st ed. 2017 edition] (2027)](https://imusic.b-cdn.net/images/item/original/025/9783662536025.jpg?junrui-liang-2027-piezoelectric-energy-harvesting-systems-integrated-analysis-and-implementation-green-energy-and-technology-hardcover-book&class=scaled&v=1514457757)
![Cover for Uwe Gotze · Kostenrechnung und Kostenmanagement (Paperback Book) [6., aktualisierte Auflage 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/388/9783642332388.jpg?uwe-gotze-2027-kostenrechnung-und-kostenmanagement-paperback-book&class=scaled&v=1488023188)
![Cover for Ralf Brinktrine · Fallsammlung zum Staatsrecht - Juristische ExamensKlausuren (Paperback Book) [2. Auflage 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/614/9783540890614.jpg?ralf-brinktrine-2027-fallsammlung-zum-staatsrecht-juristische-examensklausuren-paperback-book&class=scaled&v=1608708315)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Hardcover Book) [1. Aufl. 2025 edition] (2027)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2027-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-hardcover-book&class=scaled&v=1606304271)
![Cover for Lorenz Oken – Gesammelte Werke: Band 3: Schriften zur Naturforschung und Politik (Hardcover Book) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/243/9783740012243.jpg?2027-lorenz-oken-gesammelte-werke-band-3-schriften-zur-naturforschung-und-politik-hardcover-book&class=scaled&v=1509376341)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2027-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-hardcover-book&class=scaled&v=1775079856)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Book) [4. Auflage 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2027-handbuch-unternehmensorganisation-strategien-planung-umsetzung-book&class=scaled&v=1779860172)
![Cover for Deren Li · Spatial Data Mining: Theory and Application (Hardcover Book) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/730/9783662739730.jpg?deren-li-2027-spatial-data-mining-theory-and-application-hardcover-book&class=scaled&v=1788246484)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Book) [2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2027-musical-scales-and-their-mathematics-mathematics-study-resources-paperback-book&class=scaled&v=1735177753)
