Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Kurt Jensen, Lars Michael Kristensen

    Research output: Book/anthology/dissertation/report › Book › Research

    Fingerprint

    Dive into the research topics of 'Coloured Petri Nets: Modelling and Validation of Concurrent Systems'. Together they form a unique fingerprint.

    Engineering

    Computer Science