Uma forma de modelagem de sistemas de automação é por meio de um determinado expediente, uma técnica que usa um grafo direcionado, que consiste em dois tipos de nós: lugares (ou posições) e transições. Os arcos ligam lugares a transições e transições a lugares, e não são fixos, podendo variar conforme a modelagem do sistema. Considerando o apontado, o expediente em questão é designado como: