ATACORA
Overview
Abstract Transition Systems (ATS)
Embedding of Petri Nets into Event-B (pn2b)
Examples
Download
(Sorry, not yet available)
[paddlefrtt]
Christian Attiogbé University of Nantes