Petri nets have been used for describing the concurrent properties of a system.