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.<>


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Koh, I. (Autor:in) / DiCesare, F. (Autor:in)


    Erscheinungsdatum :

    01.01.1991


    Format / Umfang :

    546866 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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


    Traffic signal priority/preemption control with colored Petri nets

    Lefei Li, / Wei-Hua Lin, / Hongchao Liu, | IEEE | 2005