Denis Avrilionis Pierre-Yves Cunin Using views to maintain Petri-net-based process models. 318-326 1995 conf/icsm/1995 ICSM http://computer.org/proceedings/icsm/7141/71410318abs.htm db/conf/icsm/icsm1995.html#AvrilionisC95