For the most recent entries see the
Petri Nets Newsletter.
Hiraishi, K.

Hiraishi, Kunihiko:
Modeling of MultiAgent Systems by Petri Nets.
2001.

Ishihara, K.;
Hiraishi, K.:
The Completeness of Linear Logic for Petri Net Models.
2001.

Hiraishi, K.:
A Petri net based model for the mathematical analysis of multiagent systems.
2000.

Hiraishi, K.:
An efficient algorithm for exploring state spaces of Petri nets with large capacities.
2000.

Hiraishi, K.:
Efficient analysis of concurrent systems by Petri nets.
1998.

Hiraishi, Kunihiko:
Reduced State Space Representation for Unbounded Vector State Spaces.
1996.

Hiraishi, K.:
Reduced state space generation of concurrent systems using weak persistence.
1994.

Hiraishi, K.;
Ichikawa, A.:
On structural conditions for weak persistency and semilinearity of Petri nets.
1992.

Hiraishi, Kunihiko:
Construction of a Class of Safe Petri Nets by Presenting Firing Sequences.
1992.

Hiraishi, Kunihiko:
Construction of Petri Nets from Given State Transitions.
1991.

Hiraishi, Kunihiko:
On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets.
1990.

Ichikawa, A.;
Hiraishi, K.:
Analysis and Control of Discrete Event Systems Represented by Petri Nets.
1988.

Hiraishi, K.;
Ichikawa, A.:
A Class of Petri Nets that a Necessary and Sufficient Condition for Reachability is Obtainable.
1988.

Hiraishi, K.;
Ichikawa, A.:
ConflictFree Places and Fireability of a Solution of Matrix Equation in Petri Nets.
1986.
Do you need a refined search? Try our search engine
which allows complex fieldbased queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography