Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets

Robert G. Pettit IV, Hassan Gomaa. Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets. In Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea. pages 303-312, IEEE Computer Society, 2006. [doi]

Abstract

Abstract is missing.