The objective of this paper is to present the numerical method that generate numerically the graph of states and the graph of state classes for Time Petri nets, based on the matrix that describes Petri nets and based on computing power of machines. The results can be used to search for a desired or not desired state by giving realizable firing schedules.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Numerical method to simulate and to analyze Time Petri nets


    Contributors:
    Bensouissi, S. (author) / Benzina, A. (author) / Abed, M. (author) / Ghedira, K. (author)


    Publication date :

    2011-05-01


    Size :

    1169683 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    A logic for Petri nets

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


    Generating Real-time Software Test Cases by Time Petri Nets

    Lin, J. C. / Ho, I. | British Library Online Contents | 2000


    Airport Traffic Simulation Using Petri Nets

    Skorupski, Jacek | Springer Verlag | 2013


    Operating rules description using Petri nets

    Lahlou, O. / Bon, P. / Allain, L. | Tema Archive | 2007


    PETRI NETS MODELING FOR SDN TOPOLOGIES

    Ameen, Ali / Guţuleac, Emilian | BASE | 2021

    Free access