For the most recent entries see the
Petri Nets Newsletter.
Kasami, T.
-
Suzuki, I.;
Kasami, T.:
Three Measures for Synchronic Dependence in Petri Nets.
1983.
-
Suzuki, I.;
Kasami, T.:
Characterization of Weight Vectors for Weighted Synchronic Distance in Petri Nets.
1982.
-
Matsuura, T.;
Sugiyama, Y.;
Taniguchi, K.;
Kasami, T.:
Complexities of Decision Problems for Equivalence and Simplification of Safe Petri Nets.
1980.
-
Taniguchi, K.;
Matsuura, T.;
Sugiyama, Y.;
Kasami, T.:
On Equivalence of Safe Petri Nets.
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.
-
Kasami, T.:
Vector Addition Systems and Synchronization Problems of Concurrent Processes.
1974.
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