共 14 条
[1]
Kimura T.D., Visual Programming by Transaction Networks, Proc. 21st Annual Hawaii Conf. Systems Science, pp. 648-658, (1988)
[2]
Zhang W., Murata T., A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs, IEEE Trans. Software Eng., 14, 4, pp. 481-487, (1988)
[3]
Nilsson N.J., Principles of Artificial Intelligence, (1980)
[4]
Pearl J., Fusion, Propagation, and Structuring in Belief Networks, Artificial Intelligence, 29, pp. 241-288, (1986)
[5]
Rosenberg G., Behavior of Elementary Net Systems, Lecture Notes in Computer Science, 254, pp. 60-94, (1986)
[6]
Goltz U., Synchronic Distance, Lecture Notes in Computer Science, 254, pp. 338-358, (1986)
[7]
Murata T., Yamagnchi H., A Petri Net with Negative Tokens and its Application to Automated Reasoning, Proc. 33rd Mid-west Symp. Circuits and Systems, pp. 763-765, (1990)
[8]
Reisig W., Place/Transition Systems, Lecture Notes in Computer Science, 254, pp. 117-141, (1986)
[9]
Jensen K., Colored Petri Nets, Lecture Notes in Computer Science, 254, pp. 248-299, (1986)
[10]
Genrich M., Lautenbach K., System Modeling with High-Level Petri Nets, Theoretical Computer Science, 13, pp. 109-136, (1981)