For the most recent entries see the
Petri Nets Newsletter.
Honiden, S.
-
Uchihira, N.;
Honiden, S.:
A high-level Petri net for accurate modeling of reactive and concurrent systems.
1996.
-
Tahara, Y.;
Honiden, S.:
An analysis of simulation between Petri nets through rewriting logic.
1995.
-
Uchihira, N.;
Arami, M.;
Honiden, S.:
A Petri-Net-based programming environment and its designmethodology for cooperating discrete event systems.
1992.
-
Honiden, S.;
Uchihira, N.:
Net-Oriented Analysis and Design.
1991.
-
Uchihira, N.;
Arami, M.;
Honiden, S.:
A Petri-Net-Based Programming Environment and Its Design Methodology for Cooperating Discrete Event Systems.
1991.
-
Uchihira, N.;
Honiden, S.:
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic.
1990.
-
Uchihira, Naoshi;
Kawata, Hideji;
Matsumoto, Kazunori;
Ito, Mikako;
Honiden, Shinichi:
Synthesis of Concurrent Programs: Automated Reasoning Complements Software Reuse.
1990.
-
Uchihira, N.;
Honiden, S.:
Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic.
1990.
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