Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...

developing reliable yet flexible software is a hard problem. although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. formal modeling methods ensure reliability because they use a rigorous approach to software development. however, lack of knowledge and high cost practically fo...

This article is about visualization of modelling steering and decisional processes described by fuzzy IF-THEN rules modified by Petri Nets.

In this paper we present new results on detection and removal of redundancies of IF-THEN rules in so-called linguistic descriptions (systems of such rules). We introduce an algorithm for removal of redundancies and describe a practical application.