A Technique of State Space Search Based on Unfolding

  title={A Technique of State Space Search Based on Unfolding},
  author={Kenneth L. McMillan},
  journal={Formal Methods in System Design},
Unfoldings of Petri nets provide a method of searching the state space of concurrent systems without considering all possible interleavings of concurrent events. A procedure is given for constructing the unfolding of a Petri net, terminating the construction when it is suucient to represent all reachable markings. This procedure is applied to hazard and deadlock detection in asynchronous circuits. Examples are given of scalable systems with exponential size state spaces, but polynomial size… CONTINUE READING
Highly Influential
This paper has highly influenced 40 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
171 Extracted Citations
16 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 171 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 16 references

Acceleration of timingveri cation method based on time Petri nets

  • Tomohiro Yoneda, Yoshihiro Tohma, Yutaka Kondo
  • Systems and Computers in Japan
  • 1990

Similar Papers

Loading similar papers…