For the most recent entries see the
Petri Nets Newsletter.
Hiraishi, K.
-
Hiraishi, Kunihiko:
Modeling of Multi-Agent 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 multi-agent 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.:
Conflict-Free 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 field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography