A survey of siphons in Petri nets (Q2279728)

From MaRDI portal

Jump to:navigation, search

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

Please use this page instead for the normal view: A survey of siphons in Petri nets

scientific article; zbMATH DE number 7143364

Language	Label	Description	Also known as
default for all languages	No label defined
English	A survey of siphons in Petri nets	scientific article; zbMATH DE number 7143364

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 Petri 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

A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

0 references

Verification of siphons and traps for algebraic Petri nets

0 references

Recommended article

Similarity Score

0.839295506477356

Recommender Run

Recommender Run 4

0 references

On liveness and controlled siphons in Petri nets

Similarity Score

0.8179376125335693

Recommender Run

Recommender Run 4

0 references

Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets

Similarity Score

0.8089215755462646

Recommender Run

Recommender Run 4

0 references

Similarity Score

0.8070439696311951

Recommender Run

Recommender Run 4

0 references

A survey of Petri net methods for controlled discrete event systems

Similarity Score

0.8038566708564758

Recommender Run

Recommender Run 4

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

10.1016/J.INS.2015.08.037

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2279728

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