Integrating semantic properties within a Petri net based scheduling tool.

Christian Fotsing, Annie Geniet

Browse the full RSP paper archive.