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