Controlling Petri Net Behavior using Priorities for Transitions

DOI10.3233/FI-2016-1306MaRDI QIDQ2968855zbMATH OpenOpenAlexFDO

Authors Louchka Popova-Zeugmann, Irina A. Lomazova

Publication date 22 March 2017

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2016-1306

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Petri net semantics of priority systems
• Priority conflict-free Petri nets
• scientific article; zbMATH DE number 978514
• Reconfigurable Petri nets with transition priorities and inhibitor arcs
• scientific article; zbMATH DE number 3843142
• Analysis of Petri nets with a dynamic priority method
• Petri Net Models in Batch Control
• Getting the priorities right: saturation for prioritised Petri nets
• Continuous Petri Nets: Controllability and Control

Cited in

(2)

• Petri net semantics of priority systems
• Liveness enforcement for production systems modeled by time Petri nets

This page was built for publication: Controlling Petri Net Behavior using Priorities for Transitions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2968855)