Time processes of time Petri nets in proceedings

Tuomas Aura, J. Lilius

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

    Original languageEnglish
    Title of host publication18th International Conference on Applications and Theory of Petri Nets
    Place of PublicationToulouse, France
    Pages136-155
    Publication statusPublished - 1997
    MoE publication typeA4 Article in a conference publication

    Keywords

    • causality
    • net theory
    • partial order semntics
    • processes
    • time Petri Nets
    • timing analysis

    Cite this