A Multi-paradigm Petri Net Based Approach To Process Description | IEEE Conference Publication | IEEE Xplore