Jean-Yves Morel

  • Citations Per Year
Learn More
Sequential processes can hardly be modeled with Colored Petri Nets (CPN). Their standard functions (such as "Succ" and "Prec") can only describe simple cases whereas modeling a complex sequence requires the definition of a function via a cumbersome and static table. In order to overcome these limitations, we first introduce a mixed structure based upon CPN(More)
  • 1