СТ |
Improved Heuristic Algorithms for Minimizing Initial Markings of Petri Nets |
2005 |
Taoka S., Yamauchi M., Watanabe T. |
|
|
|
IEICE Transactions |
21.02.2006 |
СТ |
A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets |
2003 |
Taoka S., Furusato S., Watanabe T. |
|
|
|
Lecture Notes in Computer Science |
23.07.2003 |
СТ |
A Heuristic Algorithm FMDB for the Minimum Initial Marking Problem of Petri Nets |
2001 |
Nishi S., Taoka S., Watanabe T. |
|
|
|
IEICE Transactions |
23.12.2001 |
СТ |
Protocol Verification Tool with Extended Petri Net and Horn Clause |
1995 |
Watanabe T., Ohta T., Sato F., Mizuno T. |
|
|
|
IEICE Trans. |
10.04.1996 |
СТ |
New Priority-Lists for Scheduling in Timed Petri Nets |
1993 |
Watanabe T., Yamauchi M. |
|
|
|
Lecture Notes in Computer Science |
24.08.1993 |
СТ |
Object-Oriented Concurrent Refflective Languages can be Implemented Efficiently |
1992 |
Masuhara H., Matsuoka S., Watanabe T., Yonezawa A. |
|
|
|
SIGPLAN Notices |
15.12.1992 |
СТ |
Object-oriented Concurrent Reflective Architectures |
1992 |
Matsuoka S., Watanabe T., Ichisugi Y., Yonezawa A. |
|
|
|
Lecture Notes in Computer Science |
22.07.1992 |
СТ |
Proof Procedure and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic. Minimum Modification for Provability |
1992 |
Watanabe T., Kato N., Onaga K. |
|
|
|
IEICE Trans. |
28.05.1992 |
СТ |
Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic - Provability and Axiom Sets - |
1992 |
Watanabe T., Kato N., Onaga K. |
|
|
|
IEICE Trans. |
16.05.1992 |