Maria Alberta Alberti, Paolo Evi, Daniele Marini. Modeling Constrained Geometric Objects with OBJSA Nets. In Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Volume 2001 of Lecture Notes in Computer Science, pages 319-227, Springer, 2001. [doi]
Abstract is missing.