It is a diagrammatic tool to model concurrency and synchronization in distributed systems. It is very similar to State Transition Diagrams. It is used as a visual communication aid to model the system behavior. It is based on strong mathematical foundation.

It consists of three types of components: places (circles), …