D E S C R I P T I O N:
PN2B : Embedding Petri Nets into the Event B

D O C U M E N T A T I O N S

Semantic Embedding of Petri Nets into Event B, Christian Attiogbé, LINA Research Report, arXiv, 2005
Semantic Embedding of Petri Nets into Event B, International IM_FMT @ IFM 2009, Dusseldorf, 2009, slides, paper

D O W N L O A D:
(ongoing work)