A method of computing minimum firing time for self-cleaning SWITCH-less program nets

Journal of the Franklin Institute

Volumn 335, Issue 5, 1998, Pages 877-895

  Ge, Qi Wei ^a   Yanagida, Hidenori ^a  

^a YAMAGUCHI UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DATA PROCESSING; DATA STRUCTURES; FLOWCHARTING; GRAPH THEORY; PARALLEL PROCESSING SYSTEMS;

DATA-FLOW PROGRAMS; PROGRAM NETS;

DIGITAL ARITHMETIC;

EID: 0032116480     PISSN: 00160032     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0016-0032(97)00017-3     Document Type: Article

References (11)

1. J. B. Dennis, First version of data flow procedure language. In Lecture Notes in Computer Science 19G, Springer, New York, 1974.
2. J. B. Dennis, "The MIT data flow engineering model", Proc. IFIP Congress, Vol. 83, pp. 553-560, 1983.
3. J. Rumbaugh, "A data flow multiprocessor", IEEE Trans. Comput., Vol. c-26(2), pp. 138-146, 1977.
4. A. H. Veen, "Dataflow machine architecture", ACM Comput. Surv., Vol. 18(4), pp. 365-396, 1986.
5. T. Yuba, "Dataflow parallel computers", J. Syst. Control Inf. Jpn., Vol. 33(5), pp. 220-229, 1989.
6. Q. W. Ge, T. Watanabe and K. Onaga, "Analysis of parallelism in autonomous execution of data-flow program nets", Trans. IEICE Jpn., Vol. E74(10), pp. 3008-3017, 1991.
7. Q. W. Ge and K. Onaga, "On verification of token self-cleanness of data-flow program nets", Trans. IEICE, Vol. E79(6), pp. 812-817, 1996.
8. H. Hasegawa, "Application of petri nets to the specification phase of communication software development", Inf. Proc. Soc. Jpn., Vol. 34(6), pp. 770-777, 1993.
9. M. Maekawa, The Iwanami Software Science Series: 6 Operating System. Iwanami Shoten, 1988.
10. Q. W. Ge, T. Watanabe and K. Onaga, "Topological analysis of firing activities of data-flow program pets", Trans. IEICE Jpn., Vol. E73(7), pp. 1215-1224, 1990.
11. Q. W. Ge, T. Watanabe and K. Onaga, "Execution termination and computation determinacy of data-flow program nets", J. Franklin Inst., Vol. 328(1), 123-141, 1991.