Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    1994-01-01


    Size :

    685 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Unknown


    Classification :

    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 Archive | 2008