References

1

Boucher, T., Computer Automation in Manufacturing, pp. 359-368, Chapman and Hall, London, 1996.

2

Clarke, E.M., Emerson, E.A., and Sistla, A.P. ``Automatic Verification of Finite State Concurrent Systems Using Temporal Logic.'' ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.

3

Galton, A., editor, Temporal Logics and their Applications. Academic Press, 1987.

4

Genrich, H.J. and Thieler-Mevissen, G., The Calculus of Facts, Lecture Notes in Computer Science, Vol.45, pp. 588-595, Springer, 1976.

5

Giua, A. ``Petri Nets as Discrete Event Models for Supervisory Control,'' PhD Thesis. Dept. of Computer and Systems Engineering, Rensselaer Polytechnic Institute. Troy, N.Y. July 1992.

6

Hanisch, H.M. and Rausch M. ``Synthesis of Supervisory Controllers Based on a Novel Representation of Condition/Event Systems.'' IEEE International Conference on Systems Man and Cybernetics, Vancouver, British Columbia, Canada, October 22-25, 1995.

7

Hanisch, H.-M., Kölbel, S., and Rausch, M. ``A Modular Modelling, Controller Synthesis,and Control Code Generation Framework.'' 13th IFAC World Congress, San Francisco, July 1996, Proceedings, Vol. J, 495-500.

8

Holloway, L.E., and Krogh, B.H. ``Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets.'' IEEE Transactions on Automatic Control, Vol. 35, No. 5, May 1990.

9

Jeng, M.D. ``Theory and Applications of Resource Control Petri Nets for Automated Manufacturing Systems.'' PhD Thesis, Dept. of Computer and Systems Engineering, Rensselaer Polytechnic Institute. Troy, N.Y. 1992.

10

Krogh, B. H. and Kowalewski, ``Boolean Condition/Event Systems: Computational Representation and Algorithms,'' Preprints IFAC World Congress, Sydney, July 1993, pp. 327-330.

11

Manna, Z. and Pnueli, A., The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.

12

Murata, T. ``Petri Nets: Properties, Analysis, and Applications.'' Proceedings of IEEE, Vol. 77, pp. 541-580, 1989.

13

Rescher, N. and Roscoe, A.W., Temporal Logic. Springer-Verlag, Library of Exact Philosophy, 1971.

14

Ostroff, J.S. ``Synthesis of Controllers for real-time discrete event systems.'' IEEE Proceedings of the 28th Conference on Decision and Control, Tampa, Florida, December 1989.

15

Ostroff, J.S. Temporal Logic for Real-Time Systems. Advanced Software Development Series. Research Studies Press Limited (distributed by John Wiley and Sons), England, 1989.

16

Peterson, J.L. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood, N.J., 1981.

17

Petri, C.A. ``Communication with Automata.'' PhD Dissertation, University of Bonn, Bonn, West Germany, 1962.

18

Pnueli, A. ``Applications of Temporal Logic to the Specification and Verification of Reactive Systems.'' In J. de Bekker, W.P. de Roever, and G. Rozenburg, editors, Current Trends in Concurrency, LNCS 244. Springer-Verlag, 1986.

19

Ramadge, P.J. and Wonham, W.M. ``Supervisory Control of a Class of Discrete-Event Processes.'' SIAM Journal of Control and Optimization, 25(1):206-230, January 1987.

20

Ramadge, P.J. and Wonham, W.M. ``Modular Feedback Logic for Discrete Event Systems.'' SIAM Journal of Control and Optimization, 25(5):1202-1218, September, 1987.

21

Rausch, M., Lüder, A., and Hanisch, H.-M. ``Combined Synthesis of Locking and Sequential Controllers.'' International Workshop on Discrete Event Systems, Edinburgh, UK, August, 1996.

22

Rausch, M. and Hanisch H.M. ``Net Condition/Event Systems with Multiple Condition Outputs.'' ETFA 95 Conference, Paris, France, October 1995.

23

Reisig, W. Petri Nets, Springer-Verlag, Berlin, 1985.

24

Sreenivas, R. S. and Krogh, B. H. ``On Condition/Event Systems With Discrete State Realizations.'' Discrete Event Dynamic Systems: Theory and Applications, 2(1):209-236, 1991.

25

Sreenivas, R. S. and Krogh, B.H. ``Petri Net Based Models for Condition/Event Systems.'' In Proceedings of 1991 American Control Conference, vol. 3, pp 2899-2904, Boston, MA, 1991.

26

Wonham, W.M. ``A Control Theory for Discrete-Event Systems.'' Advanced Computing Concepts and Techniques in Control Engineering, M.J. Denham and A.J. Laub (editors), Springer-Verlag, pp. 129-169, 1988.

27

Yamalidou, K., Moody, J., Lemmon, M., and Antsaklis, P. ``Feedback Control of Petri Nets Based on Place Invariants.'' Automatica, Vol. 32, No. 1, pp. 15-28, 1996.

28

Zhou, M.C. and DiCesare, F. ``Adaptive Design of Petri Net Controllers for Error Recovery in Automated Manufacturing Systems.'' IEEE Transactions on Systems Man and Cybernetics, Vol. 19, pp. 963-973.