On the enforcement of a class of nonlinear constraints on Petri nets
type: Item
instance of: scholarly article
title: On the enforcement of a class of nonlinear constraints on Petri nets
zbMATH Open document ID: 1378.93082
author: YuFeng Chen
author: Kamel Barkaoui
author: Alessandro Giua
author: Zhiwu Li
published in: Automatica
publication date: 2018-01-12T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93A13
Mathematics Subject Classification ID: 93C10
zbMATH DE Number: 6825330
zbMATH Keywords: discrete event system
zbMATH Keywords: Petri net
zbMATH Keywords: supervisory control
zbMATH Keywords: supervisor
zbMATH Keywords: nonlinear constraint
MaRDI profile type: Publication
full work available at URL: j.automatica.2015.02.014
OpenAlex ID: W2135886503
cites work: Applications and Theory of Petri Nets 2005
cites work: Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
cites work: On structural minimality of optimal supervisors for flexible manufacturing systems
cites work: Supervision based on place invariants: a survey
cites work: Liveness of an extended S\(^{3}\)PR
cites work: Maximally permissive supervisor synthesis based on a new constraint transformation method
cites work: Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method'' [Automatica 48 (2012), 1097-1101]
cites work: Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
cites work: Petri net supervisors for DES with uncontrollable and unobservable transitions
cites work: Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
cites work: Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
cites work: Optimal linear separation of the safe and unsafe subspaces of sequential resource allocation systems as a set-covering problem: algorithmic procedures and geometric insights
cites work: Feedback control of Petri nets based on place invariants
DOI: 10.1016/J.AUTOMATICA.2015.02.014
description: scientific article; zbMATH DE number 6825330