Giorgio Bruno Alessandro Balsamo Petri Net-Based Object-Oriented Modeling of Distributed Systems. 284-293 1986 OOPSLA db/conf/oopsla/oopsla86.html#BrunoB86