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 :

    2003-01-01


    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


    MODELING A NEGOTIATION PROCESS BETWEEN AIRCRAFT USING PETRI NETS

    Daria ŻUCHOWSKA / Anna STELMACH | DOAJ | 2023

    Freier Zugriff

    A logic for Petri nets

    Pradier-Chezalviel, B. / Valette, R. | British Library Online Contents | 1997


    Operating rules description using Petri nets

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