The Community for Technology Leaders
Green Image
Issue No. 08 - August (1994 vol. 5)
ISSN: 1045-9219
pp: 886-891
<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 TermsPetri nets; formal languages; multiprocessing systems; equivalence theorem; labeledmarked graphs; Petri nets; structural determinism; sequential language; firing sequences;transitions; concurrent language

M. Yoeli and Y. Wolfstahl, "An Equivalence Theorem for Labeled Marked Graphs," in IEEE Transactions on Parallel & Distributed Systems, vol. 5, no. , pp. 886-891, 1994.
93 ms
(Ver 3.3 (11022016))