Abstract
This paper shows how to use the Petri Net with Stacks (PNS-net) to express asynchronous concurrent distributed computing systems (DCS) which are based on the environment of loosely coupled computing systems, and puts forth method to detect types of DCS deadlocks such as Cycle Waiting, Hold and Wait, Exclusive access, etc. Then we can apply the algorithm that this paper narrates which actually changes PNS-net into production rules during the system-designing stages. By designing a diagnosis system for automatic detection of deadlocks in asynchronous concurrent distributed computing systems (ACDCS), the goal of this paper is to develop and approach for reducing the time and cost in the software development.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
