3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Christian Attiogbe
We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of…