Checking time petri nets for linear duration properties

Li Xuandong, Johan Lilius

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

    2 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationPetri Nets and Performance Models (PNPM'99)
    PublisherIEEE Computer Society
    Pages218–227
    ISBN (Print)0-7695-0331-4
    DOIs
    Publication statusPublished - 1999
    MoE publication typeA4 Article in a conference publication
    Eventconference; 1999-09-08; 1999-09-10 - The 8th International Workshop on Petri Nets and Performance Models
    Duration: 8 Sep 199910 Sep 1999

    Conference

    Conferenceconference; 1999-09-08; 1999-09-10
    Period08/09/9910/09/99

    Cite this