For the most recent entries see the Petri Nets Newsletter.

A measure of transparency in net based control algorithms.

Frey, G.; Litz, L.

In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 3, pages 887-892. 1999.

Abstract: In contrast to other areas of software design, in control applications the concepts of software quality following ISO/IEC 9126 standard are not very common. However, the primary goal of applying formal methods to controller design is the transparency of the resulting algorithms. The relation of this transparency to software quality is analyzed in this paper using different design methods: finite automata, switching interpreted Petri nets (SPINs), and sequential function charts (SFCs).

Keywords: controller design, interpreted Petri nets, sequential function charts.

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

Back to the Petri Nets Bibliography