A real-time embedded system analysis methodology and tool: an application of coloured Petri nets for co-design

L.P.M. Benders

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationProc. International Workshop on Intelligent Systems and Innovative Computations
    PublisherThe Bellma Con
    Pages226-234
    Publication statusPublished - 1994
    Eventconference; Proc. International Workshop on Intelligent Systems and Innovative Computations, Tokyo, Japan, 1-2 August 1994 -
    Duration: 1 Jan 1994 → …

    Conference

    Conferenceconference; Proc. International Workshop on Intelligent Systems and Innovative Computations, Tokyo, Japan, 1-2 August 1994
    Period1/01/94 → …
    OtherProc. International Workshop on Intelligent Systems and Innovative Computations, Tokyo, Japan, 1-2 August 1994

    Cite this

    Benders, L. P. M. (1994). A real-time embedded system analysis methodology and tool: an application of coloured Petri nets for co-design. In Proc. International Workshop on Intelligent Systems and Innovative Computations (pp. 226-234). The Bellma Con.
    Benders, L.P.M. / A real-time embedded system analysis methodology and tool: an application of coloured Petri nets for co-design. Proc. International Workshop on Intelligent Systems and Innovative Computations. The Bellma Con, 1994. pp. 226-234
    @inproceedings{aaddeb541f3342598ba295e44bcf1bf3,
    title = "A real-time embedded system analysis methodology and tool: an application of coloured Petri nets for co-design",
    author = "L.P.M. Benders",
    year = "1994",
    language = "English",
    pages = "226--234",
    booktitle = "Proc. International Workshop on Intelligent Systems and Innovative Computations",
    publisher = "The Bellma Con",

    }

    Benders, LPM 1994, A real-time embedded system analysis methodology and tool: an application of coloured Petri nets for co-design. in Proc. International Workshop on Intelligent Systems and Innovative Computations. The Bellma Con, pp. 226-234, conference; Proc. International Workshop on Intelligent Systems and Innovative Computations, Tokyo, Japan, 1-2 August 1994, 1/01/94.

    A real-time embedded system analysis methodology and tool: an application of coloured Petri nets for co-design. / Benders, L.P.M.

    Proc. International Workshop on Intelligent Systems and Innovative Computations. The Bellma Con, 1994. p. 226-234.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - A real-time embedded system analysis methodology and tool: an application of coloured Petri nets for co-design

    AU - Benders, L.P.M.

    PY - 1994

    Y1 - 1994

    M3 - Conference contribution

    SP - 226

    EP - 234

    BT - Proc. International Workshop on Intelligent Systems and Innovative Computations

    PB - The Bellma Con

    ER -

    Benders LPM. A real-time embedded system analysis methodology and tool: an application of coloured Petri nets for co-design. In Proc. International Workshop on Intelligent Systems and Innovative Computations. The Bellma Con. 1994. p. 226-234