Modeling admissible behavior with Net Condition/Event Systems

L. E. Pinzon, Mohsen Jafari, H. M. Hanisch

Research output: Contribution to journalArticlepeer-review


We address the problem of obtaining a model for the admissible behavior of a Discrete Even System in the presence of uncontrollable events. We start with a safe Petri Net model of the plant and a sequential specification modeled with a special state machine. Then, a combined model of plant and specification is obtained by using the condition and event arcs of Net Condition/Event Systems. Using the structure of this combined model, we are able to develop a method to obtain the admissible behavior which avoids the complexity of a complete state enumeration.

Original languageEnglish (US)
Pages (from-to)2865-2870
Number of pages6
JournalProceedings-IEEE International Conference on Robotics and Automation
StatePublished - Jan 1 2000

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Artificial Intelligence
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Modeling admissible behavior with Net Condition/Event Systems'. Together they form a unique fingerprint.

Cite this