The aim of this work is to propose a logical-based approach for deriving the critical scenarii from a differential predicate transition Petri nets model and proof tree, to evaluate diagnosis and safety of hybrid systems.

    Design/methodology/approach

    The new approach integrates the Petri net model and linear logic. The design process is twofold: first, it considers the specific translation from Petri net to linear logic, and, second, it studies the relationship between the order of the rule application in the sequent proof and the processes associated with the same reachability problem.

    Findings

    With linear logic and Petri net it is proved that, from a canonical proof tree, a partial order can be derived (based on causality point of view) of transition firing and focusing the search of the parts of the model that are interesting for safety analysis. Each scenario is given by a partial order between the events necessary for the occurrence of the feared event.

    Originality/value

    This paper deals with safety in design of hybrid systems. For this purpose, it is important to characterize feared behaviours (which are critical) in the early design stage.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modelling of a hybrid system through differential predicate transition Petri nets model and proof tree


    Beteiligte:
    Boucerredj, L. (Autor:in) / Debbache, N.E. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2007-05-22


    Format / Umfang :

    7 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Modelling hybrid systems by high-level Petri nets

    Giua, A. / Usai, E. | British Library Conference Proceedings | 1998


    On modelling urban transportation networks via hybrid Petri nets

    Febbraro, Angela di / Sacco, Nicola | Tema Archiv | 2004


    Modelling hybrid control systems using programmable timed Petri nets

    He, K. X. / Lemmon, M. D. | British Library Conference Proceedings | 1998


    From hybrid Petri nets to hybrid automata

    Allam, M. / Alla, H. | British Library Conference Proceedings | 1998