СТ |
Integration between Scheduling and Design of Batch Systems Based on Petri Net Models |
2005 |
Ito T., Hashizume S., Yajima T., Onogi K. |
|
|
|
IEICE Transactions |
21.02.2006 |
СТ |
Control of Batch Processes Based on Hierarchical Petri Nets |
2004 |
Yajima T., Ito T., Hashizume S., Kurimoto H., Onogi K. |
|
|
|
IEICE Trans. Fundamentals |
19.01.2005 |
СТ |
Colored Petri Nets Based Modeling and Simulation of the Static and Dynamic Allocation Policies of the Asynchronous Bandwidth in the Fieldbus Protocol |
1999 |
Ben Mnaouer A., Sekiguchi T., Fujii Y., Ito T., Tanaka H. |
|
|
|
Lecture Notes in Computer Science |
05.06.1999 |
СТ |
Efficient Evaluation Strategies for Sructured Concurrency Constructs in Parallel Scheme Systems |
1996 |
Ito T. |
|
|
|
Lecture Notes in Computer Science |
04.06.1996 |
СТ |
Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution |
1995 |
Kawamoto S., Ito T. |
|
|
|
Lecture Notes in Computer Science |
19.05.1995 |
СТ |
Overview of Papers from the U.S./Japan Workshop on Parallel Symbolic Computing |
1993 |
Halstead R. H., Ito T. |
|
|
|
Lecture Notes in Computer Science |
12.01.1994 |
СТ |
P-Continuation Based Implementation of PaiLisp Interpreter |
1993 |
Ito T., Seino T. |
|
|
|
Lecture Notes in Computer Science |
12.01.1994 |
СТ |
Concurrency and Continuations in Parallel Lisp |
1991 |
Ito T. |
|
|
|
Perspectives of System Informatics |
24.07.1991 |