Property Specification For Coloured Petri Nets

Activity: Talk or presentation typesOral presentationAcademic

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

Keywords

  • specification
  • properties
  • Coloured Petri Nets