simontjell documents

Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets
Documents Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets