For the most recent entries see the
Petri Nets Newsletter.
Uchihira, N.
-
Uchihira, Naoshi;
Kawata, Hideji;
Tamura, Fumitaka:
Scenario-Based Hypersequential Programming.
2000.
-
Uchihira, N.;
Honiden, S.:
A high-level Petri net for accurate modeling of reactive and concurrent systems.
1996.
-
Uchihira, N.;
Kawata, H.:
Practical program validation for state-based reactive concurrent systems - harmonization of simulation and verification.
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.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography