Osorio G.A.2020-03-262020-03-2620152015 IEEE 2nd Colombian Conference on Automatic Control, CCAC 2015 - Conference Proceedings9781467393058https://hdl.handle.net/20.500.12585/9008Manufacturing 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. © 2015 IEEE.Recurso electrónicoapplication/pdfenghttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/conferenceObject10.1109/CCAC.2015.7345183Colored Petri NetsDesign methodsDiscrete event systemsActuatorsAutomationComplex networksDesignManufacturePetri netsProcess controlWireless sensor networksBehavioral propertiesColored Petri NetsColored Petri nets modelsDesign methodDistributed processSafety requirementsWireless sensor and actuator networksWireless sensors and actuator networksDiscrete event simulationinfo:eu-repo/semantics/restrictedAccessAtribución-NoComercial 4.0 InternacionalUniversidad Tecnológica de BolívarRepositorio UTB571619813005635531490057212088697