Stefan Klink Yu Li Andreas Oberweis INCOME2010 - a toolset for developing process-oriented information systems based on petri nets. 14 2008 SimuTools http://doi.acm.org/10.1145/1416222.1416241 conf/simutools/2008 db/conf/simutools/simutools2008.html#KlinkLO08