In: The Journal of Systems and Software, Vol. 15, No. 1, pages 63-74. April 1991.
Abstract: In this paper, a Petri-net-based formal specification method for distributed systems is applied to the domain of software process modeling. Domain-specific concepts are introduced stressing the distributed and dynamic nature of software processes. Development states are viewed as distributed entities. Development activities are characterized by their effects on software objects, pertinent information exchange with human or technical participants involved, and local changes to development states. These dynamic aspects of software processes are represented as labeled Petri nets.
Keywords: software engineering process modelling; distributed system; dynamic aspect(of) software process; labelled net; behaviour oriented software process modelling.