Supervisory Control of Petri Nets with Language Specifications (Q5496930)

scientific article; zbMATH DE number 6392102

Language	Label	Description	Also known as
English	Supervisory Control of Petri Nets with Language Specifications	scientific article; zbMATH DE number 6392102

Statements

instance of

scholarly article

0 references

title

Supervisory Control of Petri Nets with Language Specifications (English)

0 references

author

Alessandro Giua

0 references

published in

Lecture Notes in Control and Information Sciences

0 references

publication date

29 January 2015

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-1-4471-4276-8_12

0 references

cites work

Petri net languages and infinite subsets of \(\mathbb{N}^m\)

0 references

Blocking and controllability of Petri nets in supervisory control

0 references

Decidability and closure properties of weak Petri net languages in supervisory control

0 references

A survey of Petri net methods for controlled discrete event systems

0 references

Supervision based on place invariants: a survey

0 references

0 references

0 references

0 references

0 references

0 references

On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets

0 references

On Minimal Representations of Petri Net Languages

0 references

On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets

0 references

Identifiers

zbMATH Open document ID

1304.93055

0 references

DOI

10.1007/978-1-4471-4276-8_12

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5496930