Using a notion of safety in petri nets to analyse real-time systems

Sea Ling, Heinz Schmidt

    Research output: Book/ReportBook

    Original languageEnglish
    Place of PublicationMelbourne Vic Australia
    PublisherMonash University
    Number of pages19
    Publication statusPublished - 1997

    Cite this