A first report on a new technique to model workflow systems | IEEE Conference Publication | IEEE Xplore