A survey of siphons in Petri nets (Q2279728)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	A survey of siphons in Petri nets	scientific article

Statements

scholarly article

0 references

A survey of siphons in Petri nets (English)

0 references

0 references

0 references

Information Sciences

0 references

publication date

13 December 2019

0 references

zbMATH Keywords

concurrent system

0 references

Petri net

0 references

deadlock

0 references

siphon

0 references

supervisor

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.ins.2015.08.037

0 references

0 references

On liveness and controlled siphons in Petri nets

0 references

Applications and Theory of Petri Nets 2005

0 references

0 references

Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

0 references

On structural minimality of optimal supervisors for flexible manufacturing systems

0 references

On the enforcement of a class of nonlinear constraints on Petri nets

0 references

Marked directed graphs

0 references

Petri nets for modeling of dynamic systems -- a survey

0 references

Free Choice Petri Nets

0 references

Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets

0 references

Robustness of deadlock avoidance algorithms for sequential processes.

0 references

Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources

0 references

Robustness analysis of holonic assembly/disassembly processes with Petri nets

0 references

Deadlock prevention policy based on Petri nets and siphons

0 references

Supervisory control of concurrent systems. A Petri net structural approach.

0 references

0 references

Structure reduction of liveness‐enforcing Petri nets using mixed integer programming

0 references

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software

0 references

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

0 references

Liveness of an extended S\(^{3}\)PR

0 references

A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets

0 references

Robustness of deadlock control for a class of Petri nets with unreliable resources

0 references

Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets

0 references

Supervisor reconfiguration for deadlock prevention by resources reallocation

0 references

Structural Methods for the Control of Discrete Event Dynamic Systems – The Case of the Resource Allocation Problem

0 references

Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints

0 references

Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems

0 references

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case

0 references

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case

0 references

Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems

0 references

Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings

0 references

0 references

Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions

0 references

Understanding Petri Nets

0 references

0 references

Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets

0 references

Feedback control of Petri nets based on place invariants

0 references

On deadlock control for a class of generalised Petri net models of flexible manufacturing systems

0 references

Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming

0 references

Design and implementation of a Petri net based supervisor for a flexible manufacturing system

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/j.ins.2015.08.037

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2279728

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2279728&oldid=36546517"