For the most recent entries see the
Petri Nets Newsletter.
Araki, T.
-
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.
-
Araki, T.;
Uoi, H.;
Kosai, S.;
Tokura, N.:
Descriptive Powers of Synchronized Shuffle Grammars and Synchronized Production Systems.
1985.
-
Kosai, S.;
Araki, T.;
Tokura, N.:
Linear Shuffle Grammar with Synchronization Mechanism and Opposedhead Shuffle Stack Automaton.
1984.
-
Kosai, S.;
Araki, T.;
Tokura, N.:
Shuffle Grammars with Synchronization Mechanism.
1984.
-
Kosai, S.;
Araki, T.;
Tokura, N.:
Linear Shuffle Grammar and some Properties of Launguages Generated by Shuffle Grammars.
1983.
-
Araki, T.;
Kosai, S.;
Tsujino, Y.;
Tokura, N.:
Shuffle Stack Automaton.
1983.
-
Araki, T.;
Kagimasa, T.;
Tokura, N.:
Relations of Flow Languages to Petri Net Languages.
1981.
-
Araki, T.;
Tokura, N.:
Undecidability of the Equivalence Problem for Flow Expressions.
1979.
-
Araki, T.;
Kasami, T.:
Some Decision Problems Related to the Reachability Problem for Petri Nets.
1977.
-
Mori, M.;
Araki, T.;
Taniguchi, K.;
Tokura, N.;
Kasami, T.:
Some Decision Problems for Timed Petri Nets and Applications to the Verification of Communication Protocols.
1977.
-
Araki, T.;
Kasami, T.:
Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets.
1977.
-
Araki, T.;
Taniguchi, K.;
Kasami, T.:
Some NP-Complete Problems for Bounded Petri Nets.
1976.
-
Araki, T.;
Kasami, T.:
Some Undecidable Problems for Petri Nets.
1976.
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