An approach to WF-nets generation using graph transformation system | IEEE Conference Publication | IEEE Xplore