Database Design with Behavior and Views Using Parameterized Petri Nets. - Padmini Srinivasan Hands; Anand Srinivasan; Gerard M. Vignes (OOER, 1995)