Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

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



    Erscheinungsdatum :

    01.01.2003


    Format / Umfang :

    10 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





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

    Kluge, O. / Padberg, J. / Ehrig, H. | Tema Archiv | 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