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

References

• Bulusu , N. , Estrin , D. , Girod , L. and Heidemann , J. 2001 . Scalable Coordination for Wireless Sensor Networks: Self-Configuring Localization Systems . USC/Information Sciences Institute ,
   Google Scholar
• Ramadge , P. J. and Wonham , W.M. 1987 . Supervisory control of a class of discrete event progress . SIAM J. Control And Optimization , 25 ( 1 ) January
   Google Scholar
• David , R. and Alla , H. 1992 . Petri Nets and Grafcet Tools for modeling discrete event systems , Upper Saddle River, New Jersey : Prentice Hall .
   Google Scholar
• Peterson , J. L. 1977 . Petri nets . Computing Surveys , 9 ( 3 ) September
   Web of Science ®Google Scholar
• Brooks , R. and Iyengar , S.S. 1997 . Multi sensor fusion: Fundamentals and applications with software , New Jersey : Prentice Hall .
   Google Scholar
• Hall , D. L. and Llinas , J. 1997 . An introduction to multisensor data fusion . Proceedings Of the IEEE. , 85 ( 1 ) Jan
   Web of Science ®Google Scholar
• Luo , R. C. and Kay , M. G. 1989 . Multisensor integration and fusion in intelligent systems . IEEE Transactions On Systems, Man, and Cybernetics , 19 ( 5 ) September/October
   Google Scholar
• Deb , B. , Bhatnagar , S. and Nath , B. A topology discovery algorithm for sensor networks with applications to network management . Tech. Rep. DCS-TR-441 . Department of Computer Science, Rutgers University, May 2001
   Google Scholar
• Meguerdichian , S. , Koushanfar , F. , Potkonjak , M. and Srivastava , M. B. May 2000 . “ Coverage Problems in Wireless Ad-hoc Sensor Networks ” . In Computer Science Department, Electrical Engineering Department , May , Los Angeles : University of California .
   Google Scholar
• Moody , J. O . April 1998 . Petri Net Supervisors for Discrete Event Systems , April , Department of Electrical Engineering, Notre Dame University . Ph.D. dissertation
   Google Scholar
• Brooks , R. R. , Zhu , M. , Lamb , J. and Iyengar , S.S. 2004 . Aspect-oriented design of sensor networks . Journal of Parallel and Distributed Computing , 64 ( issue 7 ) July : 853 – 865 .
   Google Scholar
• Aho , A. V. , Sethi , R. and Ullman , J. D. 1986 . Compilers: Principles, Techniques and Tools , Reading, MA : Addison-Wesley .
   Google Scholar
• Li , Y. and Wonham , W. M. 1993 . Control of vector discrete-event systems I- The base model . IEEE Transactions On Automatic Control , 38 ( 8 ) August
   Google Scholar
• Li , Y. and Wonham , W. M. 1994 . Control of vector discrete-event system П controller synthesis . IEEE Transactions On Automatic Control , 39 ( 3 ) March
   Google Scholar
• Wonham , W. M. 1999 . “ Notes On Discrete Event System Control ” . In System Control Group Electrical and Computer Engineering Dept , University of Toronto .
   Google Scholar
• Moody , J. O. and Antsaklis , P. J. 1999 . Petri net supervisors for DES with uncontrollable and unobservable transitions . Tech. Rep. of the ISIS Group at the University of Notre Dame , February
   Google Scholar
• Holloway , L. E. , Krogh , B. H. and Giua , A. 1997 . A survey of petri net methods for controlled discrete event systems . Discrete Event Dynamic Systems , 7 ( 2 ) : 151 – 190 .
   Web of Science ®Google Scholar
• Ramadge , P. J. and Wonham , W.M. 1989 . The control of discrete event systems . Proc. of IEEE , 77 ( 5 ) : 81 – 98 .
   Google Scholar
• Wonham , W.M. and Ramadge , P.J. 1987 . On the supremal controllable sublanguage of a given language . SIAM Journal of Control and Optimization , 25 ( 3 ) May : 637 – 659 .
   Web of Science ®Google Scholar
• Holloway , L. E. and Krogh , B.H. 1990 . Synthesis of feedback control logic for a class of controlled petri nets . IEEE Trans. on Aut. Cont. , 35 ( 5 ) May : 514 – 523 .
   Web of Science ®Google Scholar
• Holloway , L. E. , Guan , X. and Zhang , L. 1996 . A generalization of state avoidance policies for controlled petri nets . IEEE Transactions on Automatic Control , 41 ( 6 ) June : 804 – 816 .
   Google Scholar
• Cassandras , C. G. and Lafortune , S. 1999 . Introduction to Discrete Event Systems , Dordrecht, , Holland : Kluwer Academic Publishers .
   Google Scholar
• Huang , J. and Kumar , R. 2008 . Directed control of discrete event systems for safety and nonblocking, Automation Science and Engineering . IEEE Transactions on Automation Science and Engineering , 5 October : 620 – 629 .
   Web of Science ®Google Scholar
• Leduc , R. J. , Brandin , B. A. , Lawford , M. and Wonham , W. M. 2005 . Hierarchical interface-based supervisory control-part I: serial case . IEEE Transactions on Automatic Control , vol 50 ( 9 ) September : 1322 – 1335 .
   Google Scholar
• Damiani , S. , Griffin , C. and Phoha , S. Automated generation of discrete event controllers for dynamic reconfiguration of autonomous sensor networks . Proc. 48th Annual SPIE Meeting . San Diego, CA. August . pp. 3 – 8 .
   Google Scholar
• Brooks , R. R. , Friedlander , D. , Koch , J. and Phoha , S. 2004 . Tracking multiple targets with self-organizing distributed ground sensors . Journal of Parallel and Distributed Computing , 64 ( 7 ) : 74 – 84 .
   Google Scholar