Deadlock detection-oriented unfolding of unbounded Petri nets

DOI10.1016/J.INS.2019.05.021zbMATH Open1451.68192OpenAlexW2944639182WikidataQ127882100 ScholiaQ127882100MaRDI QIDQ2215072FDOQ2215072

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

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

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)

Cites Work

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

Cited In (5)

• A technique of state space search based on unfolding
• On the undecidability of deadlock detection in families of nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)