For the most recent entries see the
Petri Nets Newsletter.
Tsuji, K.
-
Ohta, A.;
Seto, H.;
Tsuji, K.:
On the Reachability Set of Petri Net under the Earliest Firing Rule.
2000.
-
Ohta, A.;
Tsuji, K.;
Hisamura, T.:
On liveness of extended partially ordered condition nets.
1999.
-
Matsumoto, T.;
Saikusa, K.;
Tsuji, K.:
Necessary and sufficient conditions of structural liveness for general Petri nets - virtual deadlock-trap properties.
1996.
-
Suzuki, H.;
Tsuji, K.;
Araki, T.;
Takahashi, O.;
Yoshitake, S.:
A method to validate the correctness of test logic programs applied in a protocol conformance test systems using Petri nets.
1994.
-
Murata, Tadao;
Tsuji, K.:
Analysis of Concurrent Programs by Petri Nets.
1993.
-
Matsumoto, T.;
Tsuji, K.:
A Useful Necessary condition and a Simple Sufficient Condition for Liveness of General Petri Nets.
1991.
-
Tsuji, Kohkichi;
Matsumoto, Tadashi:
Extended Petri Net Models for Neural Networks and Fuzzy Inference Engines --- Their Net Structural Properties.
1990.
-
Kumagai, Sadatoshi;
Kodama, Shinzo;
Tsuji, Kohkichi;
Nakamura, Youichi:
Preservation of Liveness in Hierarchical Petri nets.
1990.
-
Yamada, T.;
Tsuji, K.;
Kumagai, S.;
Kodama, S.:
Modeling and Verification of Distributed Systems by Petri Nets.
1988.
-
Nakamura, Y.;
Tsuji, K.;
Kumagai, S.;
Kodama, S.:
On the Preservation of Liveness in a Hierarchical Modelling by Petri Nets.
1988.
-
Yamada, T.;
Tsuji, K.;
Kumagai, S.;
Kodama, S.:
Modelling and Verification of Distributed Systems by Petri Nets.
1987.
-
Tsuji, K.;
Kumagai, S.;
Kodama, S.;
Yamada, T.;
Huang, S.:
Modelling and Verification of Sequential Control Systems by Petri Nets.
1986.
-
Tsuji, K.;
Kumagai, S.;
Kodama, S.:
On the Liveness of Extended Marked Graphs.
1986.
-
Tsuji, K.;
Kumagai, S.;
Kodama, S.;
Takeda, S.:
Of the Liveness of Extended Marked Graphs.
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography