Mbi Makungu, Richard St.-Denis, Michel Barbeau. A Colored Petri Net-Based Format Method for the Design of Control Systems. In COMPSAC 96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea. pages 28-35, IEEE Computer Society, 1996. [doi]
Abstract is missing.