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.
Keywords:
DOI:
Issue
Pages:
89-100
File:
tarasyuk1.pdf
(4.31 MB)