Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Integration of Message Sequence Charts and Petri Nets in the System Design Process



    Conference:

    International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany



    Publication date :

    2003-01-01


    Size :

    10 pages




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    Modeling train control systems: from message sequence charts to Petri nets

    Kluge, O. / Padberg, J. / Ehrig, H. | Tema Archive | 2000


    Logic control design with Petri nets

    Ferrarini, L. / Maffezzoni, C. / Associazione Nazionale Italiana per l'Automazione | British Library Conference Proceedings | 1993


    Controlled Time Petri Nets and Modeling of Batch Process System

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