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


    MODELING A NEGOTIATION PROCESS BETWEEN AIRCRAFT USING PETRI NETS

    Daria ŻUCHOWSKA / Anna STELMACH | DOAJ | 2023

    Free access

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