Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Generating Real-time Software Test Cases by Time Petri Nets


    Contributors:
    Lin, J. C. (author) / Ho, I. (author)


    Publication date :

    2000-01-01


    Size :

    8 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    004.16



    Generating Inductive Invariants for Petri Nets

    Wu, Bin / Fu, YongJun | Springer Verlag | 2012


    Controlled Time Petri Nets and Modeling of Batch Process System

    Huifang, L. / Renhou, L. / Haoxun, C. | British Library Online Contents | 2000


    Numerical method to simulate and to analyze Time Petri nets

    Bensouissi, S. / Benzina, A. / Abed, M. et al. | IEEE | 2011


    Software Architecture Description Language Based on Object-Oriented Petri Nets

    Zhenhua, Y. / Yuanli, C. | British Library Online Contents | 2004


    A Restricted Reachability Problem of Petri Nets Solvable in Pseudo-Polynomial Time

    Takahashi, K. / Nakamura, K. / Ichikawa, A. | British Library Online Contents | 1993