For the most recent entries see the Petri Nets Newsletter.

Petri net analysis using small computers: tabular method.

Fahmy, H.M.A.

In: Microcomputer Applications, ISMM International Conference, Los Angeles, USA, December 14 - 16, 1989, pages 102-105. Anaheim; Calgary; Zuerich: ACTA Press, 1990.

Abstract: In this paper, a method of analysis of large Petri nets by partitioning is proposed. This method permits a great saving of computer time and storage, which is specially useful when using mini and micro-computers. It was shown that partitioning preserves the characteristics of the main Petri net. The reachability tree method or the matrix equations approach, which were untractable at the whole net level up to now, may be used at the subset level to get the needed analysis criteria.

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

Back to the Petri Nets Bibliography