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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Numerical method to simulate and to analyze Time Petri nets


    Beteiligte:
    Bensouissi, S. (Autor:in) / Benzina, A. (Autor:in) / Abed, M. (Autor:in) / Ghedira, K. (Autor:in)


    Erscheinungsdatum :

    01.05.2011


    Format / Umfang :

    1169683 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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


    PETRI NETS MODELING FOR SDN TOPOLOGIES

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

    Freier Zugriff

    Operating rules description using Petri nets

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