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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Published in:

    Publication date :

    2007-05-22


    Size :

    7 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English





    Expert System Model Using Predicate Transition Nets

    D. M. Perdu / A. H. Levis | NTIS | 1988


    Modelling Railway Systems with Hybrid Petri Nets

    Decknatel, G. / Schnieder, E. | British Library Conference Proceedings | 1998


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