Knowledge representation-oriented nets for discrete event system applications

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 28, Issue 2, 1998, Pages 183-198

  Muro Medrano, Pedro R ^a   Bañares, José A ^a   Villarroel, José Luis ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COGNITIVE SYSTEMS; INFERENCE ENGINES; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PETRI NETS;

DISCRETE EVENT SYSTEMS; HIGH LEVEL PETRI NETS (HLPN); KNOWLEDGE REPRESENTATION ORIENTED NETS (KRON);

KNOWLEDGE REPRESENTATION;

EID: 0032021405     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.661146     Document Type: Article

References (52)

1. P. Varaiya and A. Kurzhanski, Discrete Event Systems: Models and Applications, no. 103 in Lecture Notes in Computer and Information Sciences. Berlin, Germany: Springer-Verlag, 1988.
2. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 16, pp. 39-50, Jan. 1990.
3. J. Colom, M. Silva, and J. Villarroel, "On software implementation of Petri nets and colored Petri nets using high-level concurrent languages," in Proc. 7th Europ. Workshop Application Theory Petri Nets, Oxford, U.K., July 1986, pp. 207-241.
4. High-Level Petri Nets, K. Jensen and G. Rozenberg, Eds. Berlin, Germany: Springer-Verlag, 1991.
5. P. Huber, K. Jensen, and M. Shapiro, "Hierarchies in colored Petri nets," in Proc. 10th Europ. Workshop Application Theory Petri Nets, Bonn, Germany, June 1989, pp. 192-209.
6. R. Fehling, "A concept for hierarchical Petri nets with building blocks," in Proc. 12th Int. Conf. Application Theory Petri Nets, Aarhus, Denmark, 1991, pp. 370-389.
7. S. Christense and N. Hansen, "Colored Petri nets extended with channels for synchronous communication," in Application and Theory of Petri Nets, no. 815, Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 1994, pp. 159-178.
8. J. Vautherin, "Parallel systems specifications with colored Petri nets and algebraic specifications," in Advances in Petri Nets, no. 266, Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 1987, pp. 293-308.
9. J. Billington, "Many-sorted high-level nets," in Proc. 3rd Int. Workshop Petri Nets Performance Models, Kyoto, Japan, 1989, pp. 166-179.
10. W. Reisig, "Petri nets and algebraic specifications," in Theoretical Computer Science 80. Amsterdam, The Netherlands: Elsevier, 1991, pp. 1-34.
11. E. Battiston, F. de Cindio, and G. Mauri, "OBJSA nets: A class of high-level Petri nets having objects as domains," in Advances in Petri Nets, no. 340, Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 1988, pp. 20-43.
12. E. Battiston and F. de Cindio, "Class orientation and inheritance in modular algebraic nets," in Proc. IEEE Int. Conf. Systems, Man, Cybernetics, Le Touquet, France, 1993, pp. 717-723.
13. B. Kramer and H. Schmidt, "Type and modules for net specifications," in Advances in Petri Nets, K. Voss, H. J. Genrich, and G. Rozenber, Eds. Berlin, Germany: Springer-Verlag, 1987, pp. 269-286.
14. W. Reisig, Petri Nets: An Introduction. Berlin, Germany: Springer-Verlag, 1985.
15. D. Buchs and N. Guelfi, "CO-OPN: A concurrent object oriented Petri net approach," in Proc. 12th Int. Conf. Application Theory Petri Nets, Gjern, Denmark, June 1991, pp. 432-454.
16. K. Hee and P. Verkoulen, "Integration of a data model and high-level Petri nets," in Proc. 12th Int. Conf. Application Theory Petri Nets, Paris, France, 1991, pp. 410-431.
17. A. Dileva and P. Giolito, "High-level Petri nets for production system modeling," in Proc. 8th Europ. Workshop Application Theory Petri Nets, Zaragoza, Spain, June 1987, pp. 381-396.
18. A. Dileva, P. Giolito, and F. Vernadat, "Executable models for the representation of production systems," in Proc. IMACS-IFAC Symp. Modeling Control Technological Systems, IMACS MCTS 91, Lille, France, June 1991, pp. 561-566.
19. G. Berio, A. Di Leva, P. Giolitto, and F. Vernadat, "The m* -object methodology for information system design in CIM environments," IEEE Trans. Syst., Man, Cybern., vol. 25, pp. 68-85, Jan. 1995.
20. R. Di Giovanni, "Petri nets and software engineering: HOOD nets," in 11th Int. Conf. Application Theory Petri Nets, 1990, pp. 123-138,
21. W. G. Hood, "HOOD user manual, issue 3.0," Tech. Rep., Europ. Space Agency, Noordwijk, The Netherlands, 1989.
22. C. Sibertin-Blanc, "High-level Petri nets with data structures," in Proc. Workshop Applications Theory Petri Nets, Finland, June 1985.
23. M. Paludetto and S. Raymond, "A methodology based on objects and Petri nets for development of real-time software," in Proc. of IEEE Int. Conf. Systems, Man, Cybernetics, Le Touquet, France, 1993, pp. 717-723.
24. C. Sibertin-Blanc, "Cooperative nets," in Advances in Petri Nets, No. 815, Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 1994, pp. 377-396.
25. M. Baldassari and G. Bruno, "PROTOB: An object oriented methodology for developing discrete event dynamic systems," Comput. Languages, vol. 16, no. 1, pp. 39-63, 1991.
26. G. Bruno and G. Maretto, "Process-translatable Petri nets for the rapid prototyping of process control systems," IEEE Trans. Software Eng., vol. 12, no. 2, pp. 346-357, 1986.
27. C. Lakos and C. Keen, "LOOPN++: A new language for object-oriented Petri nets," Tech. Rep., Comput. Sci. Dept., Univ. Tasmania, 1994.
28. R. Bastide, "Approaches in unifiying Petri nets and the object-oriented approach," in Object-Oriented Programming Models Concurrency: Workshop 16th Int. Conf. Application Theory Petri Nets, 1995.
29. J. Bañares, P. Muro-Medrano, and J. Villarroel, "Taking advantages of temporal redundancy in high level Petri net implementations," in Application and Theory of Petri Nets, no. 691, Lecture Notes Computer Science. Berlin, Germany: Springer-Verlag, 1993, pp. 32-48.
30. KEE User Guide, Intellicorp, 1989.
31. D. Bobrow and M. Stefik, The LOOPS Manual: A Data and Object Oriented Programming System for InterLisp, Xerox PARC, Palo Alto, CA, 1983.
32. Knowledge Craft Reference Manual, Tech. Rep., Carnegie Group Inc, Pittsburgh, PA, 1986.
33. R. Fikes and T. Kehler, "The role of frame-based representation in reasoning," Commun. ACM, vol. 28, pp. 904-920, Sept. 1985.
34. C. L. Dym and R. Levitt, "Semantic nets, frames, and object-oriented programming," in Knowledge-Based Systems in Engineering. New York: McGraw-Hill, 1991, pp. 129-161.
35. S. Matsuoka, K. Wakita, and A. Yonezawa, "Inheritance anomaly in object-oriented concurrent programming languages," in Research Directions in Object-Based Concurrency. Cambridge, MA: MIT Press, 1993.
36. B. Baumgarten, "On internal and external characterization of PT-net building block behavior," in Advances in Petri Nets, no. 340, Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 1988.
37. Y. Soussi and G. Memmi, "Composition of nets via a communication medium," in Proc. 10th Europ. Workshop Applications Theory Petri Nets, Bonn, Germany, June 1990, pp. 292-311.
38. S. Christensen and L. Petrucci, "Toward a modular analysis of colored Petri nets," in Applications and Theory of Petri Nets, no. 616, Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 1992, pp. 113-133.
39. J. Rumbaugh, "Relations as semantic contracts in an object-orientated language," in Proc. ACM Object-Oriented Programming Systems, Languages, Applications, OOPSLA'87, Oct. 1987, pp. 466-481.
40. C. Forgy, "A fast algorithm for many pattern/many object pattern match problem," Artif. Intell., vol. 19, pp. 17-37, 1982.
41. L. Browston, R. Farrell, E. Kant, and N. Martin, Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Reading, MA: Addison-Wesley, 1985.
42. G. Bruno and A. Elia, "Operational specification of process control systems: Execution of prot nets using OPS5," in Proc. IFIC'86, Dublin, Ireland, 1986.
43. J. Duggan and J. Browne, "ESPNET: Expert-system-based simulator of Petri nets," Proc. IEEE, vol. 135, pp. 239-247, July 1988.
44. R. Valette and B. Bako, "Software implementation of Petri nets and compilation of rule-based systems," in 11th Int. Conf. Application Theory Petri Nets, Paris, France, 1990.
45. G. Harhalakis, C. Lin, L. Mark, and P. Muro-Medrano, "Information systems for integrated manufacturing (INSIM) - A design methodology," Int. J. Comput. Integr. Manuf., vol. 4, no. 6, 1991.
46. J. McDermott, A. Newell, and J. Moore, "The efficiency of certain production system implementations," in Pattern-Directed Inference Systems. New York: Academic, 1978.
47. A. Miranker, "TREAT: A new and efficient match algorithm for AI production systems," Ph.D. dissertation, Dept. Comput. Sci., Columbia Univ., New York, 1986.
48. N. Nilsson, Principles of Artificial Intelligence. Berlin, Germany: Springer-Verlag, 1982.
49. L. Cherkasova, V. Kotov, and T. Rokicki, "Modeling of industrial size concurrent systems," in Applications and Theory of Petri Nets, no. 691, Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 1993, pp. 552-561.
50. K. Jensen, Colored Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, EATCS Monographs on Theoretical Computer Science, W. Brauer, G. Rozenberg, and A. Salomaa, Eds. Berlin, Germany: Springer-Verlag, 1992.
51. B. Meyer, Object-Oriented Software Construction. Englewood Cliffs, NJ: Prentice-Hall, 1988.
52. P. Muro, J. Villarroel, J. Martínez, and M. Silva, "A knowledge representation tool for manufacturing control systems design and prototyping," in Proc. 6th IFAC/IFIC/IFORS/IMACS Symp. Information Control Problems Manufacturing Technology, INCOM'89, Madrid, Spain, Sept. 1989, pp. 585-590.