Issue No. 08 - August (1994 vol. 5)

ISSN: 1045-9219

pp: 886-891

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/71.298217

ABSTRACT

<p>Petri nets and their languages are a useful model of systems exhibiting concurrentbehavior. The sequential language associated with a given Petri net S consists of allpossible firing sequences of S, where each element of a firing sequence is a singletransition. The concurrent language associated with S consists of all possible concurrentfiring sequences of S, where each element of a concurrent firing sequence is a set oftransitions. The sequential language and the concurrent language associated with S aredenoted by (L)(S) and (/spl pi/)(S), respectively. In this paper, we consider an importantspecial ease of Petri nets, called labeled marked graphs. The main result derived in thispaper states that if /spl Gammasub 1/ and /spl Gammasub 2/ are two structurallydeterministic labeled marked graphs, then (L)(/spl Gammasub 1/)=L(/spl Gammasub 2/)/spl rlhar2spl pi/(/spl Gammasub 1/)=/spl pi/(/spl Gammasub 2/).</p>

INDEX TERMS

Index TermsPetri nets; formal languages; multiprocessing systems; equivalence theorem; labeledmarked graphs; Petri nets; structural determinism; sequential language; firing sequences;transitions; concurrent language

CITATION

M. Yoeli, Y. Wolfstahl, "An Equivalence Theorem for Labeled Marked Graphs",

*IEEE Transactions on Parallel & Distributed Systems*, vol. 5, no. , pp. 886-891, August 1994, doi:10.1109/71.298217