By the term “process” we mean a series of activities that have a start and a final result. During the process, actors interact among them to perform actions and to reach the result. Actors may be humans or machines. Behind the process, there is a system that goes through a series of states.
Process modeling is used to represent and analyze processes. Our methodology consists of three tools that allow representing efficaciously activities, precedence relations, parallelisms, exclusive alternatives, hierarchical relations, and temporal properties. The three tools are Synopsis diagrams, Petri nets workflow diagrams, and Swimlane activity diagrams. Each of them depicts the progression of the activities from a different point of view and with different levels of detail. Moreover, they show how people, resources (software and devices), and documents interact among them during the process.