For the most recent entries see the
Petri Nets Newsletter.
Matsumoto, K.
-
Uchihira, Naoshi;
Kawata, Hideji;
Matsumoto, Kazunori;
Ito, Mikako;
Honiden, Shinichi:
Synthesis of Concurrent Programs: Automated Reasoning Complements Software Reuse.
1990.
-
Murata, Tomohiro;
Komoda, N.;
Matsumoto, K.;
Haruna, K.:
A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Application in Factory Automation.
1986.
-
Komoda, N.;
Murata, Tomohiro;
Matsumoto, K.:
Petri Net Based Controller: SCR and its Applications in Factory Automation.
1985.
-
Murata, Tomohiro;
Komoda, N.;
Matsumoto, K.:
A Petri-Net Based FA (Factory Automation) Controller for Flexible and Maintainable Control Specifications.
1984.
-
Sumi, H.;
Kodama, S.;
Matsumoto, K.;
Takeda, S.:
Analysis of Switching Sequences in Power Networks by Petri Nets.
1982.
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