Health & Environmental Research Online (HERO)


Print Feedback Export to File
7157132 
Journal Article 
DESIGN OF DISCRETE EVENT SYSTEMS SUPPORTED ON WIRELESS SENSORS AND ACTUATOR NETWORKS USING COLORED PETRI NETS 
Mena Moreno, JC; Martinez Castro, D; Villa Ramirez, JL; , 
2015 
IEEE 
NEW YORK 
WOS:000380565000008 
Manufacturing systems are highly parallel and distributed processes which require a high level of guarantee in operation and safety. Its concurrent and non-deterministic nature makes its analysis and design very complex. These systems can develop through different states and as a consequence of its magnitude is possible that the system has states unconsidered during the design phases that lead it to an undesirable performance.According to the above in this paper we have made several contributions aimed in to developing a procedure for modeling and analyzing discrete event systems that integrate wireless sensor and actuator networks (WSAN) by using Colored Petri Nets (CPN) models, in order of to establish a method for designing plans to minimize the time sequence of tasks execution and to fulfil with safety requirements ensuring absence of locks, process overflows, and unwanted presence of mutual exclusion conditions on the use of shared resources. Additionally a minimum set of components is presented in CPN that can be used to analyze the behavior of these kinds of systems and verify their structural and behavioral properties. 
Osorio, GA; 
Automatic Control (CCAC), 2015 IEEE 2nd Colombian Conference on Automatic Control 
Manizales, COLOMBIA