For the most recent entries see the
Petri Nets Newsletter.
Takeda, S.
-
Munemori, J.;
Mizuno, T.;
Takeda, S.:
An Extension of SDL for the Executable Specification of Communication Systems Based Upon Petri Nets.
1988.
-
Nakamura, Y.;
Abe, S.;
Takeda, S.:
The Reachability of Complementary-Places Petri Nets.
1986.
-
Tsuji, K.;
Kumagai, S.;
Kodama, S.;
Takeda, S.:
Of the Liveness of Extended Marked Graphs.
1985.
-
Nakamura, Y.;
Abe, S.;
Takeda, S.:
A Functional Verification for Design Modification of Industrial Sequence Control Systems.
1985.
-
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