Coloured petri nets basic concepts analysis methods and practical use volume 1 monographs in theoretical computer science an eatcs series jensen kurt isbn 9783540609438 kostenloser versand fur alle bucher mit versand und verkauf duch amazon. The first volume defines the net model i e hierarchical cp nets and the basic concepts e g the different behavioural properties such as deadlocks fair ness and home markings it gives a detailed presentation of many small exam ples and a brief overview of some industrial applications it introduces the for mal analysis methods finally it contains a description of a set of . Coloured petri nets basic concepts analysis methods and practical use volume 1 authors view affiliations kurt jensen book 444 citations 543 downloads part of the eatcs monographs in theoretical computer science book series eatcs log in to check access buy ebook usd 7499 instant download readable on all devices own it forever local sales tax included if applicable learn about . The first volume defines the net model i e hierarchical cp nets and the basic concepts e g the different behavioural properties such as deadlocks fair ness and home markings it gives a detailed presentation of many smail exam ples and a brief overview of some industrial applications it introduces the for mal analysis methods finaily it contains a description of a set of . Coloured petri nets basic concepts analysis methods and practical use authors view affiliations kurt jensen book 166 citations 752 downloads part of the monographs in theoretical computer science an eatcs series book series eatcs log in to check access buy ebook usd 12900 instant download readable on all devices own it forever local sales tax included if applicable buy