Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets

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...

Full description

Autores:
Tipo de recurso:
Fecha de publicación:
2015
Institución:
Universidad Tecnológica de Bolívar
Repositorio:
Repositorio Institucional UTB
Idioma:
eng
OAI Identifier:
oai:repositorio.utb.edu.co:20.500.12585/9008
Acceso en línea:
https://hdl.handle.net/20.500.12585/9008
Palabra clave:
Colored Petri Nets
Design methods
Discrete event systems
Actuators
Automation
Complex networks
Design
Manufacture
Petri nets
Process control
Wireless sensor networks
Behavioral properties
Colored Petri Nets
Colored Petri nets models
Design method
Distributed process
Safety requirements
Wireless sensor and actuator networks
Wireless sensors and actuator networks
Discrete event simulation
Rights
restrictedAccess
License
http://creativecommons.org/licenses/by-nc-nd/4.0/
id UTB2_6cec1decaa8e5d89a22ab1c5d194aeae
oai_identifier_str oai:repositorio.utb.edu.co:20.500.12585/9008
network_acronym_str UTB2
network_name_str Repositorio Institucional UTB
repository_id_str
spelling Osorio G.A.Moreno J.C.M.Castro D.M.Ramirez J.L.V.2020-03-26T16:32:45Z2020-03-26T16:32:45Z20152015 IEEE 2nd Colombian Conference on Automatic Control, CCAC 2015 - Conference Proceedings9781467393058https://hdl.handle.net/20.500.12585/900810.1109/CCAC.2015.7345183Universidad Tecnológica de BolívarRepositorio UTB571619813005635531490057212088697Manufacturing 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.Colombia Section Control Systems Chapter (CSS);Institute of Electrical and Electronics Engineers - Colombia Section (IEEE Colombia)Recurso electrónicoapplication/pdfengInstitute of Electrical and Electronics Engineers Inc.http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/restrictedAccessAtribución-NoComercial 4.0 Internacionalhttp://purl.org/coar/access_right/c_16echttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84960332344&doi=10.1109%2fCCAC.2015.7345183&partnerID=40&md5=b7548e4183d213fbd4074a83c9ccc6f5Scopus2-s2.0-849603323442nd IEEE Colombian Conference on Automatic Control, CCAC 2015Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Netsinfo:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionConferenciahttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_c94fColored 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 simulation14 October 2015 through 16 October 2015Hou, L., Bergmann, N.W., System requirements for industrial wireless sensor networks Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference onBal, M., Industrial applications of collaborative wireless sensor networks: A survey Industrial Electronics (ISIE), 2014 IEEE 23rd International Symposium onXia, F., QoS challenges and opportunities in wireless sensor/actuator networks (2008) SensorsDong, W., Liu, X., Providing os support for wireless sensor networks: Challenges and approaches (2010) Communications Surveys & Tutorials, IEEE, 12 (4)Ajith Kumar, S.A., Øvsthus, K., Kristensen, L.M., An industrial perspective on wireless sensor networks-a survey of requirements, protocols, and challenges (2014) IEEE Communications Surveys & Tutorials, 16 (3). , third quarterhttp://purl.org/coar/resource_type/c_c94fTHUMBNAILMiniProdInv.pngMiniProdInv.pngimage/png23941https://repositorio.utb.edu.co/bitstream/20.500.12585/9008/1/MiniProdInv.png0cb0f101a8d16897fb46fc914d3d7043MD5120.500.12585/9008oai:repositorio.utb.edu.co:20.500.12585/90082021-02-02 14:22:21.481Repositorio Institucional UTBrepositorioutb@utb.edu.co
dc.title.none.fl_str_mv Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
title Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
spellingShingle Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
Colored Petri Nets
Design methods
Discrete event systems
Actuators
Automation
Complex networks
Design
Manufacture
Petri nets
Process control
Wireless sensor networks
Behavioral properties
Colored Petri Nets
Colored Petri nets models
Design method
Distributed process
Safety requirements
Wireless sensor and actuator networks
Wireless sensors and actuator networks
Discrete event simulation
title_short Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
title_full Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
title_fullStr Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
title_full_unstemmed Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
title_sort Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
dc.contributor.editor.none.fl_str_mv Osorio G.A.
dc.subject.keywords.none.fl_str_mv Colored Petri Nets
Design methods
Discrete event systems
Actuators
Automation
Complex networks
Design
Manufacture
Petri nets
Process control
Wireless sensor networks
Behavioral properties
Colored Petri Nets
Colored Petri nets models
Design method
Distributed process
Safety requirements
Wireless sensor and actuator networks
Wireless sensors and actuator networks
Discrete event simulation
topic Colored Petri Nets
Design methods
Discrete event systems
Actuators
Automation
Complex networks
Design
Manufacture
Petri nets
Process control
Wireless sensor networks
Behavioral properties
Colored Petri Nets
Colored Petri nets models
Design method
Distributed process
Safety requirements
Wireless sensor and actuator networks
Wireless sensors and actuator networks
Discrete event simulation
description 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. © 2015 IEEE.
publishDate 2015
dc.date.issued.none.fl_str_mv 2015
dc.date.accessioned.none.fl_str_mv 2020-03-26T16:32:45Z
dc.date.available.none.fl_str_mv 2020-03-26T16:32:45Z
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_c94f
dc.type.driver.none.fl_str_mv info:eu-repo/semantics/conferenceObject
dc.type.hasVersion.none.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.spa.none.fl_str_mv Conferencia
status_str publishedVersion
dc.identifier.citation.none.fl_str_mv 2015 IEEE 2nd Colombian Conference on Automatic Control, CCAC 2015 - Conference Proceedings
dc.identifier.isbn.none.fl_str_mv 9781467393058
dc.identifier.uri.none.fl_str_mv https://hdl.handle.net/20.500.12585/9008
dc.identifier.doi.none.fl_str_mv 10.1109/CCAC.2015.7345183
dc.identifier.instname.none.fl_str_mv Universidad Tecnológica de Bolívar
dc.identifier.reponame.none.fl_str_mv Repositorio UTB
dc.identifier.orcid.none.fl_str_mv 57161981300
56355314900
57212088697
identifier_str_mv 2015 IEEE 2nd Colombian Conference on Automatic Control, CCAC 2015 - Conference Proceedings
9781467393058
10.1109/CCAC.2015.7345183
Universidad Tecnológica de Bolívar
Repositorio UTB
57161981300
56355314900
57212088697
url https://hdl.handle.net/20.500.12585/9008
dc.language.iso.none.fl_str_mv eng
language eng
dc.relation.conferencedate.none.fl_str_mv 14 October 2015 through 16 October 2015
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_16ec
dc.rights.uri.none.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.accessRights.none.fl_str_mv info:eu-repo/semantics/restrictedAccess
dc.rights.cc.none.fl_str_mv Atribución-NoComercial 4.0 Internacional
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
Atribución-NoComercial 4.0 Internacional
http://purl.org/coar/access_right/c_16ec
eu_rights_str_mv restrictedAccess
dc.format.medium.none.fl_str_mv Recurso electrónico
dc.format.mimetype.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Institute of Electrical and Electronics Engineers Inc.
publisher.none.fl_str_mv Institute of Electrical and Electronics Engineers Inc.
dc.source.none.fl_str_mv https://www.scopus.com/inward/record.uri?eid=2-s2.0-84960332344&doi=10.1109%2fCCAC.2015.7345183&partnerID=40&md5=b7548e4183d213fbd4074a83c9ccc6f5
Scopus2-s2.0-84960332344
institution Universidad Tecnológica de Bolívar
dc.source.event.none.fl_str_mv 2nd IEEE Colombian Conference on Automatic Control, CCAC 2015
bitstream.url.fl_str_mv https://repositorio.utb.edu.co/bitstream/20.500.12585/9008/1/MiniProdInv.png
bitstream.checksum.fl_str_mv 0cb0f101a8d16897fb46fc914d3d7043
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositorio Institucional UTB
repository.mail.fl_str_mv repositorioutb@utb.edu.co
_version_ 1814021670200934400