A BSTRACT . COOPN/2 (Concurrent Object Oriented Petri Nets) is an object-oriented specification formalism based on Petri Nets and algebraic specifications. It is fully adapted to the specification of complex concurrent systems because it inherits the advantages of algebraic specifications for the specification of abstract data types, from Petri nets to describe partially ordered events and from...

Work ows are composite activities that achieve interoperation of a variety of system and human tasks. Work ows must satisfy subtle domain-speci c integrity and organizational requirements. Consequently, exibility in execution is crucial. A promising means to achieve exibility is through declarative speci cations (Part 1) with automatic distributed scheduling techniques (Part 2). We address the ...