For the most recent entries see the
Petri Nets Newsletter.
Kumagai, S.
-
Miyamoto, Toshiyuki;
Kumagai, Sadatoshi:
Describing Coordination Mechanism of Autonomous Distributed Systems by using Multi Agent Nets.
2004.
-
Miyamoto, Toshiyuki;
Kumagai, Sadatoshi:
Multi Agent Net Modelling and Realization of the Next Generation Manufacturing System.
2001.
-
Miyamoto, T.;
Nakano, S.;
Kumagai, S.:
An algorithm for Petri nets reachability by unfoldings.
1999.
-
Miyamoto, T.;
Kumagai, S.:
A Multi Agent Net Model and the Realization of Software Environment.
1999.
-
Choe, Y.-H.;
Lee, D.-I.;
Kumagai, S.:
A basic theorem for modular synthesis of state machine allocatable nets.
1998.
-
Miyamoto, T.;
Kumagai, S.:
Calculating place capacity for Petri nets using unfoldings.
1998.
-
Miyamoto, T.;
Kumagai, S.:
A Multi Agent Net Implementation of Discrete Event Systems and its Software Environment.
1998.
-
Nakajima, H.;
Miyamoto, T.;
Kumagai, S.:
Autonomous Distributed Control by Multi Agent Nets.
1998.
-
Miyamoto, T.;
Kumagai, S.:
Reversibility Verification of Petri Nets Using Unfoldings.
1997.
-
Miyamoto, T.;
Kumagai, S.;
Nagao, Y.:
An Agent Net Approach to Autonomous Distributed Manufacturing Systems.
1997.
-
Miyamoto, T.;
Kumagai, S.:
On Deriving Logic Functions of Asynchronous Circuits by STG Unfoldings.
1997.
-
Miyamoto, T.;
Kumagai, S.:
A graph theoretic approach to reachability problem with Petri net unfoldings.
1996.
-
Miyamoto, T.;
Kumagai, S.:
An Agent Net Approach To Autonomous Distributed Systems.
1996.
-
Miyamoto, T.;
Kumagai, S.:
A Multi Agent Net Model of Autonomous Distributed Systems.
1996.
-
Miyamoto, T.;
Kumagai, S.:
An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits.
1996.
-
Lee, D.-I.;
Kumagai, S.;
Kodama, S.:
Handles and Reachability Analysis of Free Choice Nets.
1995.
-
Miyamoto, T.;
Lee, D.-I.;
Kumagai, S.:
An efficient state space search for the synthesis of asynchronous circuits by subspace construction.
1995.
-
Nakagawa, M.;
Kumagai, S.;
Miyamoto, T.;
Lee, D.-I.S.:
Equivalent net reduction for firing sequence.
1995.
-
Miyamoto, T.;
Lee, D.-I.;
Kumagai, S.:
An Efficient Method to Derive Logic from Signal Transition Graphs for Asynchronous Circuits.
1995.
-
Nishimura, T.;
Lee, D.I.;
Kumagai, S.;
Kodama, S.:
Efficient decomposition algorithm for flexible manufacturing systems modeled by free-choice nets.
1993.
-
Akaza, M.;
Lee, D.-I.;
Kumagai, S.:
Optimal Cycle Time and Facility Utilization of Pro- duction Systems Including Repetitive Process with Set-up Time Modelled by Timed Marked Graphs.
1991.
-
Lee, D.;
Kumagai, S.;
Kodama, S.:
Complete Structural Characterization of State Machine Allocatable Nets.
1991.
-
Lee, D.;
Kumagai, S.;
Kodama, S.:
Reachability Theorem for a Class of Live and Safe Free Choice Nets.
1991.
-
Nagao, Y.;
Ohta, H.;
Urabe, H.;
Kumagai, S.:
Petri Net Based Programming System for FMS.
1991.
-
Kumagai, S.:
Net Theory and its Application. III. Fundamentals of Net Theory.
1991.
-
Dong, Ik Lee;
Kumagai, S.;
Kodama, S.:
Reachability of LSFC Nets.
1990.
-
Dong, Ik Lee;
Kumagai, Sadatoshi;
Kodama, Shinzo:
Reachability of LSFC Nets.
1990.
-
Kumagai, S.:
Net Theory and its Application. II.
1990.
-
Kumagai, Sadatoshi;
Kodama, Shinzo;
Tsuji, Kohkichi;
Nakamura, Youichi:
Preservation of Liveness in Hierarchical Petri nets.
1990.
-
Kumagai, S.:
Overview of Petri Net Tools.
1989.
-
Kumagai, S.:
Modelling and Analysis of Distributed Systems: a Net Theoretic Approach.
1988.
-
Yamada, T.;
Tsuji, K.;
Kumagai, S.;
Kodama, S.:
Modeling and Verification of Distributed Systems by Petri Nets.
1988.
-
Kumagai, S.;
Ohno, H.;
Kodama, S.:
Net Theory Applied to Sequential Control.
1988.
-
Nakamura, Y.;
Tsuji, K.;
Kumagai, S.;
Kodama, S.:
On the Preservation of Liveness in a Hierarchical Modelling by Petri Nets.
1988.
-
Yamada, T.;
Tsuji, K.;
Kumagai, S.;
Kodama, S.:
Modelling and Verification of Distributed Systems by Petri Nets.
1987.
-
Kumagai, S.:
A Petri Net Simulation Program for a Complex Sequence Control System.
1986.
-
Tsuji, K.;
Kumagai, S.;
Kodama, S.;
Yamada, T.;
Huang, S.:
Modelling and Verification of Sequential Control Systems by Petri Nets.
1986.
-
Tsuji, K.;
Kumagai, S.;
Kodama, S.:
On the Liveness of Extended Marked Graphs.
1986.
-
Kodama, S.;
Kumagai, S.:
Discrete Event System-Net Model Approach.
1985.
-
Tsuji, K.;
Kumagai, S.;
Kodama, S.;
Takeda, S.:
Of the Liveness of Extended Marked Graphs.
1985.
-
Kodama, S.;
Kumagai, S.:
Descrete-Event Dynamic Systems.
1985.
-
Kumagai, S.;
Kodama, S.;
Naito, T.:
Deadlock-Free Conditions for a Class of Petri Nets.
1984.
-
Kumagai, S.;
Kodama, S.;
Naito, T.;
Sawai, T.:
On the Structural Properties of Extended Marked Graphs.
1984.
-
Kumagai, S.;
Kodoma, S.;
Kitagawa, M.:
Submarking Reachability of Marked Graphs.
1984.
-
Taguchi, T.;
Kodama, S.;
Kumagai, S.:
Analysis of Marked Graphs with Save Conditions.
1980.
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