A Colored Petri Net-Based Format Method for the Design of Control Systems.

Mbi Makungu, Richard St-Denis, Michel Barbeau

Browse the full COMPSAC paper archive.