Modeling Constrained Geometric Objects with OBJSA Nets. - Maria Alberta Alberti; Paolo Evi; Daniele Marini (Concurrent Object-Oriented Programming and Petri Nets, 2001)