Synthesis methods for colored Petri nets are presented. The final net constructed by these methods always guarantees liveness and boundedness. The methods are the extended version of the authors' previous transformation methods for generalized Petri nets (1990, 1991). Some restrictions for incidence functions and color sets are given to apply the previous theorems to colored Petri nets. Using these restrictions, and defining a live-and-bounded circuit (LB-circuit) for colored Petri nets, it is shown that the union of two LB-circuits is live and bounded if the two LB-circuits are fused along two types of common directed paths. Then, a method is presented for synthesis of a new live and bounded net by fusing an LB-circuit to a live and bounded net while preserving the properties. Using this bottom-up approach a complex colored Petri net can be constructed. These synthesis methods are illustrated for modeling automated manufacturing systems by means by two examples.<>


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Synthesis rules for colored Petri nets and their applications to automated manufacturing systems


    Contributors:
    Koh, I. (author) / DiCesare, F. (author)


    Publication date :

    1991-01-01


    Size :

    546866 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Colored Petri Nets-Based Biological Network Reconstruction for Systems Biology

    Liu, F. / Hu, Z. / Yang, M. | British Library Conference Proceedings | 2014


    Colored Petri Nets-Based Biological Network Reconstruction for Systems Biology

    Liu, Fei / Hu, Zhifa / Yang, Ming | Springer Verlag | 2014


    The research of manufacturing execution system modeling based on colored Petri nets

    Hua Jiwei, / Sun Hexu, / Liang Tao, et al. | IEEE | 2008


    Verifying properties of Ada designs using colored Petri nets

    MCLENDON, JR., WILLIAM / VIDALE, RICHARD | AIAA | 1991