Petri Nets with Multicolor Markers.

For the most recent entries see the Petri Nets Newsletter.

Petri Nets with Multicolor Markers.

Makarov, I.M.; Nazaretov, V.M.; Kulba, A.V.; Shvetsov, A.R.

In: Soviet Journal of Computer and Systems Sciences, Vol. 26, No. 4, pages 34-40. 1988.

Also in: (Source:) Izv. Akad. Nauk SSSR Tekhn. Kibernet., No. 6, pages 101-107. 1987.

Abstract: Problems of investigation of Petri nets with multicolor markers are considered. The notions of selective and regenerative Petri nets are introduced. Methods of analysis of color reachability are proposed. Properties of boundedness, safety, preservability and liveness of Petri nets with multicolor markers are investigated.

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

Back to the Petri Nets Bibliography