Concurrency in CoOperative objects

CoOperative Objects (COOs) are a concurrent object oriented modelling and programming language, which uses the Petri net theory to define the concurrency within each object, among objects, and also the inter object asynchronous communication. SYROCO is a C++ implementation of CoOperative Objects which proves to be efficient and convenient enough to support real size applications. The paper aims to show that intra object concurrency is of paramount importance for models of object oriented concurrency, and that intra object concurrency is smartly supported by the integration of the object oriented and Petri net paradigms. Namely, it discusses the model of concurrency adopted by COOs, and details how it is implemented in SYROCO.