Property Specification For Coloured Petri Nets

    Activity: Talk or presentation typesTalk or presentation (not at a conference)Academic

    Period11 Oct 2004
    Event title2004 IEEE International Conference on Systems, Man and Cybernetics
    Event typeConference
    LocationThe Hague, NetherlandsShow on map
    Degree of RecognitionInternational

    Keywords

    • specification
    • properties
    • Coloured Petri Nets