A formal Definition of Semi-Join Based Reduction Method of Petri Nets


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 1, No. 2, pp. 202-214, Jul. 1994
10.3745/KIPSTE.1994.1.2.202,   PDF Download:

Abstract

A functional reduction method of Petri nets is proposed. The method is based on interpretation of relations and transitions with functions which map one series of a relation to another. In particular, we propose CF-join which combines two transitions to new one after reduction of the common places, CE-join which superpose two transitions to one after superposition of the common places, and EQ-join which reduces the common places, after the Petri nets were explained by a relational scheme. A reduced net can be obtained without changing the properties such as liveness and boundness.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
L. J. Kun, "A formal Definition of Semi-Join Based Reduction Method of Petri Nets," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 1, no. 2, pp. 202-214, 1994. DOI: 10.3745/KIPSTE.1994.1.2.202.

[ACM Style]
Lee Jong Kun. 1994. A formal Definition of Semi-Join Based Reduction Method of Petri Nets. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 1, 2, (1994), 202-214. DOI: 10.3745/KIPSTE.1994.1.2.202.