Determining task priority in dual-shore collaborative software design via Petri Net based behavior compatibility analysis | IEEE Conference Publication | IEEE Xplore