Show simple item record

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

dc.contributor.editorOsorio G.A.
dc.creatorMoreno J.C.M.
dc.creatorCastro D.M.
dc.creatorRamirez J.L.V.
dc.date.accessioned2020-03-26T16:32:45Z
dc.date.available2020-03-26T16:32:45Z
dc.date.issued2015
dc.identifier.citation2015 IEEE 2nd Colombian Conference on Automatic Control, CCAC 2015 - Conference Proceedings
dc.identifier.isbn9781467393058
dc.identifier.urihttps://hdl.handle.net/20.500.12585/9008
dc.description.abstractManufacturing 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.eng
dc.description.sponsorshipColombia Section Control Systems Chapter (CSS);Institute of Electrical and Electronics Engineers - Colombia Section (IEEE Colombia)
dc.format.mediumRecurso electrónico
dc.format.mimetypeapplication/pdf
dc.language.isoeng
dc.publisherInstitute of Electrical and Electronics Engineers Inc.
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.sourcehttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84960332344&doi=10.1109%2fCCAC.2015.7345183&partnerID=40&md5=b7548e4183d213fbd4074a83c9ccc6f5
dc.sourceScopus2-s2.0-84960332344
dc.titleDesign of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
dcterms.bibliographicCitationHou, L., Bergmann, N.W., System requirements for industrial wireless sensor networks Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on
dcterms.bibliographicCitationBal, M., Industrial applications of collaborative wireless sensor networks: A survey Industrial Electronics (ISIE), 2014 IEEE 23rd International Symposium on
dcterms.bibliographicCitationXia, F., QoS challenges and opportunities in wireless sensor/actuator networks (2008) Sensors
dcterms.bibliographicCitationDong, W., Liu, X., Providing os support for wireless sensor networks: Challenges and approaches (2010) Communications Surveys & Tutorials, IEEE, 12 (4)
dcterms.bibliographicCitationAjith 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 quarter
datacite.rightshttp://purl.org/coar/access_right/c_16ec
oaire.resourceTypehttp://purl.org/coar/resource_type/c_c94f
oaire.versionhttp://purl.org/coar/version/c_970fb48d4fbd8a85
dc.source.event2nd IEEE Colombian Conference on Automatic Control, CCAC 2015
dc.type.driverinfo:eu-repo/semantics/conferenceObject
dc.type.hasVersioninfo:eu-repo/semantics/publishedVersion
dc.identifier.doi10.1109/CCAC.2015.7345183
dc.subject.keywordsColored Petri Nets
dc.subject.keywordsDesign methods
dc.subject.keywordsDiscrete event systems
dc.subject.keywordsActuators
dc.subject.keywordsAutomation
dc.subject.keywordsComplex networks
dc.subject.keywordsDesign
dc.subject.keywordsManufacture
dc.subject.keywordsPetri nets
dc.subject.keywordsProcess control
dc.subject.keywordsWireless sensor networks
dc.subject.keywordsBehavioral properties
dc.subject.keywordsColored Petri Nets
dc.subject.keywordsColored Petri nets models
dc.subject.keywordsDesign method
dc.subject.keywordsDistributed process
dc.subject.keywordsSafety requirements
dc.subject.keywordsWireless sensor and actuator networks
dc.subject.keywordsWireless sensors and actuator networks
dc.subject.keywordsDiscrete event simulation
dc.rights.accessRightsinfo:eu-repo/semantics/restrictedAccess
dc.rights.ccAtribución-NoComercial 4.0 Internacional
dc.identifier.instnameUniversidad Tecnológica de Bolívar
dc.identifier.reponameRepositorio UTB
dc.relation.conferencedate14 October 2015 through 16 October 2015
dc.type.spaConferencia
dc.identifier.orcid57161981300
dc.identifier.orcid56355314900
dc.identifier.orcid57212088697


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

http://creativecommons.org/licenses/by-nc-nd/4.0/
Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc-nd/4.0/