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