For the most recent entries see the
Petri Nets Newsletter.
Mizobata, Y.
-
Watanabe, Toshimasa;
Mizobata, Yutaka;
Onaga, Kenji:
A Petri-Net-Based Algorithm for Proofs in Horn Clause Propositional Logic.
1990.
-
Watanabe, Toshimasa;
Mizobata, Yutaka;
Onaga, Kenji:
A Petri-Net-Based Analysis of the Satisfiability Problem in the Horn Clause Propositional Logic.
1990.
-
Watanabe, Toshimasa;
Mizobata, Yutaka;
Onaga, Kenji:
Legal Firing Sequence and Related Problems of Petri Nets.
1990.
-
Watanabe, T.;
Mizobata, Y.;
Onaga, K.:
Legal Firing Sequences and Minimum Initial Markings for Petri Nets.
1989.
-
Watanabe, T.;
Mizobata, Y.;
Onaga, K.:
Minimum Initial Marking Problems of Petri Nets.
1989.
-
Watanabe, T.;
Mizobata, Y.;
Onaga, K.:
Time Complexity of Legal Firing Sequence and Related Problems of Petri Nets.
1989.
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