A Petri Net formal design methodology for discrete-event control of industrial automated systems

2010 ◽  
Author(s):  
Sammy Korotkin ◽  
Guy Zaidner ◽  
Benny Cohen ◽  
Amir Ellenbogen ◽  
Meir Arad ◽  
...  
Keyword(s):  
Petri Net ◽  
Design Methodology ◽  
Discrete Event ◽  
Automated Systems ◽  
Discrete Event Control ◽  
Formal Design

Comparison of Petri Net and Finite State Machine Discrete Event Control of Distributed Surveillance Network

2009 ◽  
Vol 5 (5) ◽  
pp. 480-501 ◽  
Author(s):  
Mengxia Zhu ◽  
Richard R. Brooks
Keyword(s):  
Petri Net ◽  
Finite State Machine ◽  
Discrete Event ◽  
Military Technology ◽  
Surveillance Network ◽  
Advantages And Disadvantages ◽  
Consistency Control ◽  
Vector Addition ◽  
Finite State ◽  
Discrete Event Control

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.

Sign in / Sign up

Export Citation Format

Share Document