Minimizing Finite Complete Prefixes

K. Heljanko

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

    Original languageEnglish
    Title of host publicationWorkshop Concurrency, Specification & Programming '99 (CS&P '99), Varsova, Puola, 28.-30.9.1999
    EditorsH.-D. Burkhard, L. Czaja, H.-S. Nguyen, P. Starke
    Place of PublicationVarsova, Puola
    PublisherWarsaw University
    Pages83-95
    Publication statusPublished - 1999
    MoE publication typeA4 Article in a conference publication

    Keywords

    • finite complete prefixes
    • petri nets
    • unfolding

    Cite this