Skip to Main content Skip to Navigation


...
inria-00000462v1  Reports
Eric Fabre. On the construction of pullbacks for safe Petri nets
[Research Report] PI 1750, 2005, pp.12