Attiogbe. Semantic Embedding of Petri Nets into Event-b. 24 Oct. 2005.