Input-Output Conditions for Automatic Program Generation Using Petri Nets.

Masahiro Osogami, Teruya Yamanishi, Katsuji Uosaki

Browse the full KES paper archive.