Comparison of Petri Net and Finite State Machine discrete event control of distributed surveillance networks

Mengxia Zhu, Richard R. Brooks

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

Wireless sensor networks are an important military technology with civil and scientific applications. In this article, we derive a discrete event controller system for distributed surveillance networks that consists of three interacting hierarchies-sensing, communications, and command. Petri Net representations of the hierarchies provide plant models of resource contention and internal consistency. Control specifications are derived that enforce consistency across the hierarchies. Three controllers are created using different methodologies to satisfy these specifications. The methods used are Petri Net, finite state automata using the Ramadge and Wonham approach, and vector addition control using the Wonham and Li approach. We use the controllers derived to contrast the design methodologies. Our results find these three approaches to be roughly equivalent. Each method has advantages and disadvantages.

Original languageEnglish
Pages (from-to)480-501
Number of pages22
JournalInternational Journal of Distributed Sensor Networks
Volume5
Issue number5
DOIs
StatePublished - 1 Sep 2009

Fingerprint

Finite automata
Petri nets
Controllers
Specifications
Wireless sensor networks
Communication

Keywords

  • Discrete event controller
  • Distributed sensor network
  • Finite state automata
  • Petri net
  • Vector addition control

Cite this

@article{83b3f8af0e204e5d9ecfa5b90fad1de9,
title = "Comparison of Petri Net and Finite State Machine discrete event control of distributed surveillance networks",
abstract = "Wireless sensor networks are an important military technology with civil and scientific applications. In this article, we derive a discrete event controller system for distributed surveillance networks that consists of three interacting hierarchies-sensing, communications, and command. Petri Net representations of the hierarchies provide plant models of resource contention and internal consistency. Control specifications are derived that enforce consistency across the hierarchies. Three controllers are created using different methodologies to satisfy these specifications. The methods used are Petri Net, finite state automata using the Ramadge and Wonham approach, and vector addition control using the Wonham and Li approach. We use the controllers derived to contrast the design methodologies. Our results find these three approaches to be roughly equivalent. Each method has advantages and disadvantages.",
keywords = "Discrete event controller, Distributed sensor network, Finite state automata, Petri net, Vector addition control",
author = "Mengxia Zhu and Brooks, {Richard R.}",
year = "2009",
month = "9",
day = "1",
doi = "10.1080/15501320903048753",
language = "English",
volume = "5",
pages = "480--501",
journal = "International Journal of Distributed Sensor Networks",
issn = "1550-1329",
publisher = "SAGE Publications Inc.",
number = "5",

}

Comparison of Petri Net and Finite State Machine discrete event control of distributed surveillance networks. / Zhu, Mengxia; Brooks, Richard R.

In: International Journal of Distributed Sensor Networks, Vol. 5, No. 5, 01.09.2009, p. 480-501.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Comparison of Petri Net and Finite State Machine discrete event control of distributed surveillance networks

AU - Zhu, Mengxia

AU - Brooks, Richard R.

PY - 2009/9/1

Y1 - 2009/9/1

N2 - Wireless sensor networks are an important military technology with civil and scientific applications. In this article, we derive a discrete event controller system for distributed surveillance networks that consists of three interacting hierarchies-sensing, communications, and command. Petri Net representations of the hierarchies provide plant models of resource contention and internal consistency. Control specifications are derived that enforce consistency across the hierarchies. Three controllers are created using different methodologies to satisfy these specifications. The methods used are Petri Net, finite state automata using the Ramadge and Wonham approach, and vector addition control using the Wonham and Li approach. We use the controllers derived to contrast the design methodologies. Our results find these three approaches to be roughly equivalent. Each method has advantages and disadvantages.

AB - Wireless sensor networks are an important military technology with civil and scientific applications. In this article, we derive a discrete event controller system for distributed surveillance networks that consists of three interacting hierarchies-sensing, communications, and command. Petri Net representations of the hierarchies provide plant models of resource contention and internal consistency. Control specifications are derived that enforce consistency across the hierarchies. Three controllers are created using different methodologies to satisfy these specifications. The methods used are Petri Net, finite state automata using the Ramadge and Wonham approach, and vector addition control using the Wonham and Li approach. We use the controllers derived to contrast the design methodologies. Our results find these three approaches to be roughly equivalent. Each method has advantages and disadvantages.

KW - Discrete event controller

KW - Distributed sensor network

KW - Finite state automata

KW - Petri net

KW - Vector addition control

UR - http://www.scopus.com/inward/record.url?scp=70449629245&partnerID=8YFLogxK

U2 - 10.1080/15501320903048753

DO - 10.1080/15501320903048753

M3 - Article

AN - SCOPUS:70449629245

VL - 5

SP - 480

EP - 501

JO - International Journal of Distributed Sensor Networks

JF - International Journal of Distributed Sensor Networks

SN - 1550-1329

IS - 5

ER -