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

3 Scopus citations

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

Keywords

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

Fingerprint Dive into the research topics of 'Comparison of Petri Net and Finite State Machine discrete event control of distributed surveillance networks'. Together they form a unique fingerprint.

  • Cite this