Deadlock prevention using Petri nets and their unfoldings

International Journal of Advanced Manufacturing Technology

Volumn 14, Issue 10, 1998, Pages 750-759

  Taubin, A ^a   Kondratyev, A ^a   Kishinevsky, M ^b  

^a UNIVERSITY OF AIZU   (Japan)

^b INTEL CORPORATION   (United States)

Author keywords

Deadlock prevention; Petri nets; Unfoldings

Indexed keywords

CONCURRENT ENGINEERING; DECISION THEORY; PETRI NETS; PROCESS CONTROL; SCHEDULING; STATE SPACE METHODS; SUBROUTINES;

DEADLOCK-FREE SUBUNFOLDINGS; SOFTWARE PACKAGE SIS;

JUST IN TIME PRODUCTION;

EID: 0032311728     PISSN: 02683768     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01438227     Document Type: Article

References (17)

1. Z. Banaszak and B. Krogh, "Deadlock avoidance in flexible manufacture systems with concurrently competing process flows", IEEE Transactions on Robotics and Automation, 6(6), pp. 724-734, December 1990.
2. J. Ezpleta, J. Colom and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacture systems", IEEE Transactions on Robotics and Automation, 11(2), pp. 173-184, April 1995.
3. K. L. McMillan, "A technique of state space search based on unfolding", Formal Methods in System Design, 6(1), pp. 45-65, 1995.
4. J. Esparza, S. Römer and W. Vogler, "An improvement of McMillan's unfolding algorithm", in Tools and Algorithms for the Construction and Analysis of Systems, vol. 1055 of Lecture Notes in Computer Science, pp. 87-106, Passau, Germany, Springer-Verlag, March 1996.
5. J. L. Peterson, Petri Nets, vol. 9, ACM Computing Surveys, 3, September 1977.
6. A. Kondratyev, M. Kishinevsky, A. Taubin and S. Ten, "A structural approach for the analysis of Petri nets by reduced unfoldings", in Applications and Theory of Petri Nets 1996, 17th International Conference, Proceedings, vol. 1091 of Lecture Notes in Computer Science, pp. 346-365, Osaka, Japan, June, 1996.
7. L. Pomello, G. Rozenberg and C. Simone, "A survey of equivalence notions for net based systems". Lecture Notes in Computer Science, 609, pp. 410-472, 1993
8. J. Cortadella, M. Kishinevsky, L. Lavagno and A. Yakovlev, "Syntheizing Petri nets from state-based models", in Proceedings of the International Conference on Computer-Aided Design, pp. 164-171, November 1995.
9. A. Taubin, A. Kondratyev and M. Kishinevsky, "Deadlock prevention using Petri nets and their unfoldings", Technical Report 97-2-004, The University of Aizu, 1997.
10. V. I. Varshavsky, M. A. Kishinevsky, V. B. Marakhovsky, V. A. Peschansky, L. Y. Rosenblum, A. R. Taubin and B. S. Tzirlin, Self-timed Control of Concurrent Processes, Kluwer, 1990 (Russian edn 1986).
11. E. M. Sentovich, K. J. Singh, L. Lavagno. C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton and A. Sangiovanni-Vincentelli, "SIS: A system for sequential circuit synthesis", Technical Report UCB/ERL M92/41, University of California, Berkeley, May 1992.
12. E. Pastor, O. Roig, J. Cortadella and R. Badia, "Petri net analysis using Boolean manipulation", in 15th International Conference on Application and Theory of Petri Nets, pp. 416-435, Zaragoza, Spain, June 1994.
13. D. E. Muller, "Asynchronous logics and application to information processing", in Proceedings of the Symposium on Application of Switching Theory in Space Technology, pp. 289-297, Stanford University Press, 1963.
14. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer, 1993.
15. Proceedings of CESA'96 IMACS Multiconference, Computational Engineering in System Applications. Symposium on Discrete Events and Manufacturing Systems, IEEE-SMC, 1996.
16. N. Cacutalua, On Deadlocks in Concurrent Systems: A Petri Net based Approach for Deadlock Prediction and Avoidance, GMD, 1993.
17. M. Zhou (ed.), Petri Net in Flexible and Agile Automation, Kluwer, 1995.