Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Method of Verifying a Switching SDL Specification by Utilizing Petri Nets


    Beteiligte:
    Hasegawa, H. (Autor:in)


    Erscheinungsdatum :

    01.01.1994


    Format / Umfang :

    685 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    DDC:    629.8



    Verifying properties of Ada designs using colored Petri nets

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


    A New Scheme for Verifying Rule-Based Systems by Using Net-Invariants of Petri Nets

    Inazumi, H. / Omoto, N. | British Library Online Contents | 2000


    A logic for Petri nets

    Pradier-Chezalviel, B. / Valette, R. | British Library Online Contents | 1997


    Stochastic petri nets for risk assessment

    Rafrafi, M. / Bourdeaudhuy, T. / El-Koursi, E.M. | Tema Archiv | 2008


    Airport Traffic Simulation Using Petri Nets

    Skorupski, Jacek | Springer Verlag | 2013