Robert G. Pettit IV Hassan Gomaa Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets. 57-68 2004 conf/wicsa/2004 WICSA http://csdl.computer.org/comp/proceedings/wicsa/2004/2172/00/21720057abs.htm db/conf/wicsa/wicsa2004.html#PettitG04