Modeling Constrained Geometric Objects with OBJSA Nets.

Published in: Concurrent Object-Oriented Programming and Petri Nets (2001)