Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verifying properties of Ada designs using colored Petri nets


    Beteiligte:

    Kongress:

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



    Erscheinungsdatum :

    01.01.1991



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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

    Freier Zugriff