TY  - RPRT
TI  - Semantic Embedding of Petri Nets into Event-B
AU  - Christian Attiogbe
PY  - 2005
UR  - https://arxiv.org/abs/cs/0510073
ID  - cs/0510073
ER  -