Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verifying properties of Ada designs using colored Petri nets


    Contributors:

    Conference:

    8th Computing in Aerospace Conference ; 1991 ; Baltimore , MD , U.S.A.



    Publication date :

    1991-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Traffic signal priority/preemption control with colored Petri nets

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


    Traffic Signal Priority/Preemption Control with Colored Petri Nets

    Li, L. / Lin, W.-H. / Liu, H. et al. | British Library Conference Proceedings | 2005



    Modeling and Simulation of Urban Traffic Network Using Colored Petri Nets

    Khodakaram Salimifard / Mehdi Ansari | DOAJ | 2016

    Free access