Share Email Print
cover

Proceedings Paper

Petri nets SM-cover-based on heuristic coloring algorithm
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

In the paper, coloring heuristic algorithm of interpreted Petri nets is presented. Coloring is used to determine the State Machines (SM) subnets. The present algorithm reduces the Petri net in order to reduce the computational complexity and finds one of its possible State Machines cover. The proposed algorithm uses elements of interpretation of Petri nets. The obtained result may not be the best, but it is sufficient for use in rapid prototyping of logic controllers. Found SM-cover will be also used in the development of algorithms for decomposition, and modular synthesis and implementation of parallel logic controllers. Correctness developed heuristic algorithm was verified using Gentzen formal reasoning system.

Paper Details

Date Published: 11 September 2015
PDF: 9 pages
Proc. SPIE 9662, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015, 96623N (11 September 2015); doi: 10.1117/12.2205794
Show Author Affiliations
Jacek Tkacz, Univ. of Zielona Góra (Poland)
Michał Doligalski, Univ. of Zielona Góra (Poland)


Published in SPIE Proceedings Vol. 9662:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015
Ryszard S. Romaniuk, Editor(s)

© SPIE. Terms of Use
Back to Top