Feedback control logic synthesis for non safe Petri nets

dc.creatorDideban, Abbas
dc.creatorAlla, Hassane
dc.date2009-03-24
dc.date.accessioned2026-07-07T12:56:04Z
dc.date.available2026-07-07T12:56:04Z
dc.descriptionThis paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use conditions or predicates associated with transitions. Generally, there are many forbidden states, thus many complex conditions are associated with the transitions. A new idea for computing predicates in non safe Petri nets will be presented. Using this method, we can construct a maximally permissive controller if it exists.
dc.identifierhttps://arxiv.org/abs/0903.4036
dc.identifierhttp://arxiv.org/abs/0903.4036
dc.identifier13th IFAC Symposium on INFORMATION CONTROL PROBLEMS IN MANUFACTURING, Moscou : Russie (2009)
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/224458
dc.subjectInformation Theory
dc.titleFeedback control logic synthesis for non safe Petri nets
dc.typetext

Files

Collections