A modular veri cation methodology for dnri petri nets (0)

by J-M Ilié, K Klai, B Zouari
Venue:In in proc. of the International Conference ACS/IEEE 2003 on Computer Systems and Applications (AICCSA-03