Author(s)
Tarasyuk Igor
Abstract

In this paper a variety of Petri net equivalences is examined. A correlation of all the considered equivalences is established, and a lattice of implications is obtained. In addition, the equivalences are treated for some subclasses of Petri nets: sequential nets, T-nets and nets with strict labelling.

File
tarasyuk1.pdf4.31 MB
Issue
Computer Science, № 3, 1995
Pages
89-100