Some Reachability Results on Combining Petri Nets with Data Models

J.M.E.M. van der Werf, Artem Polyvyanyy

    Research output: Book/Report › Report › Academic

    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUU BETA ICS Departement Informatica
    Publication statusPublished - 2018

    Publication series

    NameTechnical Report Series
    PublisherUU Beta ICS Departement Informatica
    No.UU-CS-2018-005
    ISSN (Print)0924-3275

    Cite this