On analysis of deadlock and blocking freeness in isomorphic module systems

Weilin Wang, Rong Su, Liyong Lin

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

9 Citations (Scopus)


This paper is about efficiently analyzing deadlock and blocking for systems consisting of isomorphic modules instantiated from a template. By refining the template, our approach captures essential interactions among modules and efficiently determine whether a system of an arbitrary number of modules is deadlock free or blocking free, while avoid their explicit synchronization. When the answer is negative, our approach identifies the largest module number, up to which the system satisfies each of these properties.

Original languageEnglish
Title of host publication2013 American Control Conference (ACC)
Subtitle of host publicationWashington, DC, USA, June 17-19, 2013
Place of PublicationPiscataway NJ USA
PublisherIEEE, Institute of Electrical and Electronics Engineers
Number of pages6
ISBN (Print)9781479901777
Publication statusPublished - 2013
Externally publishedYes
EventAmerican Control Conference 2013 - Washington, United States of America
Duration: 17 Jun 201319 Jun 2013


ConferenceAmerican Control Conference 2013
Abbreviated titleACC 2013
CountryUnited States of America


  • automata
  • discrete event systems
  • distributed systems
  • formal methods
  • model checking

Cite this