For the most recent entries see the Petri Nets Newsletter.

Properties Analysis of Petri Net Based on Process Net System.

Zeng, Qing-Tian; Wu, Zhe-Hui

In: Journal of Shandong University of Science and Technology( Natural Science), pages 11-15. June 2003.

Abstract: The process net system of a Petri net is an important concept presented describing the process behaviors of a Petri net. The process net system of a Petri net is a new net system, the transition set of which is a set of basic process sections, and the place set is the union of input place sets and output place sets for all basic process sections of the original net system. It can be used to describe the set of subsective process of any Petri net (bounded or unbounded). In this paper we analyze the relationships of properties between the process net system and its original system.

Keywords: Petri net; process net system; fairness; liveness; boundedness.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography