Controller Synthesis By Petri Nets Modeling

Abstract

In this paper, we present two different methods for the synthesis of a simplified controller using Petri Nets. The supervisory control theory presented by Ramadge and Wonham is adapted to Petri nets modeling. Uncontrollable transitions in discrete event systems are the cause of forbidden states in supervisory control. This paper concerns the problem of forbidden states in safe Petri Net. We present different methods to reduce the number of constraints that prevent from forbidden states. Using these methods, we can construct a maximally permissive controller. The implementation of these approaches is considered using the SFC model.

Contributors

Abbas Dideban

Hassane Alla

Conference

Publication date: July 2009

Publication date (Print): July 2009

Pages: 1-12

Affiliations

[ ^* ]Semnan University, IRAN (Tel: [phone]

[ ^** ]GIPSA lab, 38402 St Martin d'Heres Cedex FRANCE

Article

DOI: 10.14236/ewic/VECOS2009.10

Copyright statement: © Abbas Dideban et al. Published by BCS Learning and Development Ltd. Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009), Rabat, Morroco

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Third International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009)

Conference acronym: VECOS

Conference number: 3

Conference location: Rabat, Morroco

Conference date: 2-3 July 2009

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Verification and Evaluation of Computer and Communication Systems (VECoS 2009)

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2009.10

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing