An admissible-behaviour-based analysis of the deadlock in Petri-net controllers-Reference-Cited by-同舟云学术

An admissible-behaviour-based analysis of the deadlock in Petri-net controllers

Published:2008-09 Issue:8 Volume:16 Page:1077-1090
ISSN:1569-190X
Container-title:Simulation Modelling Practice and Theory
language:en
Short-container-title:Simulation Modelling Practice and Theory

Author:

Mušič G.,Matko D.

Publisher

Elsevier BV

Subject

Hardware and Architecture,Modelling and Simulation,Software

Reference21 articles.

1. Introduction to Discrete Event Systems;Cassandras,1999

2. V. Chandra, S. Mohanty, R. Kumar, Automated control synthesis for an assembly line using discrete event system control theory, in: Proceedings of the American Control Conference, Arlington, VA, 2001, pp. 4956–4961.

3. G. Frey, L. Litz, Verification and validation of control algorithms by coupling of interpreted Petri nets, in: Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, vol. 1, San Diego, CA, 1998, pp. 7–12.

4. G. Frey, L. Litz, Formal methods in PLC programming, in: Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, vol. 4, Nashville, TN, 2000, pp. 2431–2436.

5. Formal validation of intelligent automated production systems towards industrial applications;Hanisch;International Journal of Manufacturing Technology and Management,2006

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Distance Learning of Programmable Logic Control: An Implementation Example;2022 29th International Conference on Systems, Signals and Image Processing (IWSSIP);2022-06-01