Decision Automata: Towards a Theoretical Foundation of Decision Support Systems

References

• Agerwala, T. “Putting Petri Nets to Work,” Computer, 12:12, December 1979, pp. 85–94.
   Web of Science ®Google Scholar
• Agerwala, T. and Y. Choed-Amphai. “A Synthesis Rule for Concurrent Systems,” Proceedings of IEEE Conference on Design Automation, 1978, pp. 305–311.
   Google Scholar
• Alanche, P., K. Benzakour, Dolle, F. Gillet, P. Rodrigues, and Valette. “PSI: A Petri Net Based Simulation for Flexible Manufacturing Systems,” in Rozenberg, G., ed., Advances in Petri Nets, Lecture Notes in Computer Sciences, No. 188, Springer-Verlag, 1985.
   Google Scholar
• Alla, H., P. Ladet, J. Martinet, and M. Silva-Suarez. “Modeling and Validation of Complex Systems by Colored Petri Nets Application to a Flexible Manufacturing System,” in Rozenberg, G., ed., Advances in Petri Nets, Lecture Notes in Computer Science, No. 188, Springer-Verlag, 1985.
   Google Scholar
• Balbo, G., S.C. Bruell, and S. Ghanta. “Combining Queueing Network and Generalized Stochastic Petri Net Model for the Analysis of a Software Blocking Phenomenon,” Proceedings of the First International Workshop on Timed Petri Nets, Torino, Italy, 1985.
   Google Scholar
• Bonczek, R.H., C.W. Holsapple, and A.B. Whinston. Foundations of Decision Support Systems, Academic Press, 1981.
   Google Scholar
• Bruno, G. and P. Biglia. “Performance Evaluation and Validation of Tool Handling in Flexible Manufacturipg Systems Using Petri Nets,” Proceedings of the First International Workshop on Timed Petri Nets, Torino, Italy, 1985.
   Google Scholar
• Chung, C.H. “The Design of Subsystem Interfaces for Decision Support Systems,” paper presented at TIMS/ORSA Joint Meeting, Chicago, April 1983.
   Google Scholar
• Chung, C.H. and L.J. Krajewski. “Planning Horizons for Master Production Scheduling,” Journal of Operations Management, 4:4, August 1984, pp. 389–406.
   Google Scholar
• Chung, C.H. and L.J. Krajewski. “Rolling Horizons as a Coordination Mechanism for Subsystem Interfaces,” Proceedings of the 16th Decision Science Institute Annual Meeting, Toronto, November 1984.
   Google Scholar
• Chung, C.H. “A Network of Management Support Systems,” OMEGA, 13:4, June 1985, pp. 263–276.
   Web of Science ®Google Scholar
• Chung, C.H. “Network of Subsystem Interfaces – A Framework for Research and Development in Management Support Systems,” Working Paper, University of Kentucky, 1985.
   Google Scholar
• Chung, C.H. and L.J. Krajewski. “Replanning Frequencies for Master Production Scheduling,” Decision Sciences, 17:2, Spring 1986, pp. 263–273.
   Web of Science ®Google Scholar
• Chung, C.H. “Functional Relationships in a Network of Subsystems Interfaces for Management Support,” Final Report to Ashland Oil Research Grant Program, University of Kentucky, 1986.
   Google Scholar
• Chung, C.H. “Modeling Management and Decision Systems via Petri Nets: A Tutorial,” Working Paper, University of Kentucky, 1987.
   Google Scholar
• Chung, C.H. “Integrating Expert Systems for Effective Management Support,” Working Paper, University of Kentucky, 1987.
   Google Scholar
• Dubois, D. and K. Stecke. “Using Petri Nets to Represent Production Process,” Proceedings IEEE Conference on Decision and Control, December 1983, pp. 1062–1067.
   Google Scholar
• Florin, G. and S. Natkin. “On Open Synchronized Queueing Networks,” Proceedings of the First International Workshop on Timed Petri Nets, Torino, Italy, 1985.
   Google Scholar
• Genrich, H.J., K. Lautenbach, and P.S. Thiagarajan. “Elements of General Net Theory,” in Brauer, W., ed., Net Theory and Applications, Lecture Notes in Computer Science, No. 84, Springer-Verlag, 1980.
   Google Scholar
• Holt, A., H. Saint, R. Shapiro, and S. Warshall. “Final Report of the Information System Theory Project,” Technical Report RADC-TR-68-305, Rome Air Development Center, Griffiss Air Force Base, New York, September 1968.
   Google Scholar
• Hopcroft, J.E. and J.D. Ullman. Formal Languages and Their Relation to Automata, Addison-Wesley, 1969.
   Google Scholar
• Huber, G.P. “The Nature and Design of Post-Industrial Organizations,” Management Sciences, 30:8, 1984, pp. 928–951.
   Web of Science ®Google Scholar
• Kitchener, R.F. Piaget's Theory of Knowledge, The Yale University Press, 1986.
   Google Scholar
• Lin, C.Y. and C.H. Chung. “The Design of Subsystem Interfaces for Distributed Decision Support Systems,” Proceedings of 1987 Southeast TIMS Annual Meeting, Myrtle Beach, SC, 1987.
   Google Scholar
• Marsan, M.A., G. Conte, and G. Balbo. “A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems,” ACM Transactions on Computer Systems, 2:2, May 1984, pp. 93–122.
   Web of Science ®Google Scholar
• Meldman, J. “A New Technique for Modeling the Behavior of Man-Machine Information Systems,” Sloan Management Review, 18:3, Spring 1977, pp. 29–46.
   Google Scholar
• Molloy, M.A. “Performance Analysis Using Stochatic Petri Nets,” IEEE Transactions on Computer Science, C31:9, September 1982, pp. 913–917.
   Google Scholar
• Narahari, Y. and N. Viswanadham. “Analysis and Synthesis of Flexible Manufacturing Systems Using Petri Nets,” Proceedings of the First Flexible Manufacturing Systems Conference, August 1984, pp. 346–358.
   Google Scholar
• Noe, J.D. and G.J. Nutt. “Macro E-Nets Representation of Parallel Systems,” IEEE Transactions on Computer Science, C22:8, August 1973, pp. 718–727.
   Google Scholar
• Nof, S.Y., A.B. Whinston, and W.I. Bullers. “Control and Decision Support in Automatic Manufacturing System,” AIIE Transactions, 12:2, June 1980, pp. 156–169.
   Web of Science ®Google Scholar
• Nutt, G.J. “Evaluation Nets for Computer Systems Performance Analysis,” Proceedings of AFIPS 1972 Fall Joint Computer Conference, 1972, pp. 279–286.
   Google Scholar
• Peterson, J.L. “Petri Nets,” Computing Surveys, 9:3, September 1977, pp. 223–252.
   Web of Science ®Google Scholar
• Peterson, J.L. Petri Net Theory and the Modeling of Systems, Prentice-Hall, 1981.
   Google Scholar
• Petri, C.A. “Communication with Automata,” Supplement 1 to Tech. Rep. RADC-TR-65-337, Vol. 1, Rome Air Development Center, Griffiss Air Force Base, New York, 1965. (Translated from Kommunikation mit Automaten, University of Bonn, W. Germany, 1962.).
   Google Scholar
• Ruefli, T. “A Generalized Goal Decomposition Model,” Management Science, 17:8, 1971, pp. 505–518.
   Google Scholar
• Shapiro, R.M. an H. Saint. “A New Approach to Optimization of Sequencing Decisions,” Annual Review in Automatic Programming, 6:5, 1970, pp. 257–288.
   Google Scholar
• Suzuki, I. and Murata, T. “A Method for Stepwise Refinement and Abstraction of Petri Nets,” Journal of Computer and Systems Science, August 1983, pp. 51–75.
   Google Scholar
• Thomas, R.C. and A. Burns. “The Case for Distributed Decision Making System,” The Computer Journal, 25:1, 1982, pp. 147–152.
   Google Scholar
• Thomasian, A. and P. Bay. “Performance Analysis of Task Systems Using a Queueing Network Model,” Proceedings of the First International Workshop on Timed Petri Nets, Torino, Italy, 1985.
   Google Scholar
• Valette, R. “Analysis of Petri Nets by Stepwise Refinements,” Journal of Computer and Systems Science, 18, 1979, pp. 35–46.
   Web of Science ®Google Scholar
• Zuberek, W.M. “Timed Petri Nets and Preliminary Performance Evaluation,” Proceedings of the 7th Annual Symposium on Computer Architecture, La Baule, France, 1980.
   Google Scholar
• Zuberek, W.M. “Performance Evaluation Using Extended Timed Petri Nets,” Proceedings of International Workshop on Timed Petri Nets, Torino, Italy, 1985.
   Google Scholar
• Zuberek, W.M. “Generalized M-Timed Petri Nets and Performance Evaluation of Computer Systems,” INFOR, 23:3, August 1985, pp. 344–362.
   Web of Science ®Google Scholar
• Zuberek, W.M. “On Modeling and Performance Evaluation Using Stochastic and M-Timed Petri Nets,” Technical Paper #8601, Department of Computer Science, Memorial University of Newfoundland, 1986.
   Google Scholar
• Zuberek, W.M. “M-Timed Petri Nets and Markov Chains in Modeling of Computer Systems,” Proceedings of ACM Computer Science Conference, Cincinnati, 1986.
   Google Scholar