For the most recent entries see the
Petri Nets Newsletter.
A Functional Verification for Design Modification of Industrial Sequence Control Systems.
Nakamura, Y.;
Abe, S.;
Takeda, S.
In:
Keisoku Jiduseigyo Gakkai Ronbunshu, Vol. 21, No. 10: Transaction of the Society of Instrument and Control Engineers (Japan), pages 1036-1042.
October 1985.
In Japanese.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography