By Topic

An incremental approach to logic controller design with Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
L. Ferrarini ; Dipartimento di Elettronica, Politecnico di Milano, Italy

A conceptual and practical methodology is proposed for designing logic control systems with Petri nets. The main objectives are to reduce the design effort due to the complexity of control problems and to provide design criteria that perfectly fit the fundamental engineering approach to complexity, namely incremental design. The methodology is based on concepts coming from a number of theorems stated and proved. The designer is then provided with powerful basic net structures, implementing single control tasks, and with useful connections to coordinate and synchronize these tasks. This enables the designer to solve simple control problems and aggregate separate designs to form a more complex structure. Simple rules are provided that guarantee the preservation, after the merging of previous designs, of important net properties, like boundedness, cyclicness, and lifeness. To do so, it is sufficient to analyze an opportune graph based on the connections among tasks

Published in:

IEEE Transactions on Systems, Man, and Cybernetics  (Volume:22 ,  Issue: 3 )