Deadlock detection-oriented unfolding of unbounded Petri nets

DOI10.1016/J.INS.2019.05.021MaRDI QIDQ2215072zbMATH OpenOpenAlexWikidataFDO

Authors Faming Lu, Ranran Tao, Qingtian Zeng, Yunxia Bao, YuYue Du

Publication date 10 December 2020

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2019.05.021

zbMATH Keywords

Petri netdiscrete event systemdeadlock detectionstate-space explosionnet unfolding

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1670797
• A technique of state space search based on unfolding
• scientific article; zbMATH DE number 1759626
• scientific article; zbMATH DE number 1863174
• Model checking using net unfoldings

Cites work

• scientific article; zbMATH DE number 1670797 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2005
• Branching processes of Petri nets
• Canonical prefixes of Petri net unfoldings
• Deadlock recovery for flexible manufacturing systems modeled with Petri nets
• Directed Unfolding of Petri Nets
• On liveness and controlled siphons in Petri nets
• Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement
• Petri nets, event structures and domains. I
• Recent advances in unfolding technique
• Service net algebra based on logic Petri nets
• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
• Unfolding-based partial order reduction
• Unfolding-based process discovery

Cited in

(5)

• A technique of state space search based on unfolding
• On the undecidability of deadlock detection in families of nets
• scientific article; zbMATH DE number 1332966 (Why is no real title available?)
• scientific article; zbMATH DE number 1759626 (Why is no real title available?)
• Deadlock analysis of unbounded process networks

This page was built for publication: Deadlock detection-oriented unfolding of unbounded Petri nets

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