Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets
The widespread use of sensor networks has enabled the deployment of a wide variety of services. In order to reduce maintenance costs without jeopardizing the reliability of the services, developers and researchers are exploring ways to reduce the complexity of the protocols and their underlying hard...
Main Authors: | Maria Emilia Cambronero, Hermenegilda Macia, Valentin Valero, Luis Orozco-Barbosa |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2018-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8354859/ |
Similar Items
-
Complex Event Processing Modeling by Prioritized Colored Petri Nets
by: Hermenegilda Macia, et al.
Published: (2016-01-01) -
Formalizing the Blockchain-Based BlockVoke Protocol for Fast Certificate Revocation Using Colored Petri Nets
by: Anant Sujatanagarjuna, et al.
Published: (2021-07-01) -
Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach
by: C. Dechsupa, et al.
Published: (2018-01-01) -
Evaluation of software architecture using fuzzy color Petri net
by: Zohreh Shiriyan Dehkordi, et al.
Published: (2013-02-01) -
VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
by: Nadezhda S. Mogilevskaya, et al.
Published: (2018-07-01)