For the most recent entries see the
Petri Nets Newsletter.
Miyamoto, T.

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.

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.

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.
Do you need a refined search? Try our search engine
which allows complex fieldbased queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography