For the most recent entries see the Petri Nets Newsletter.

Keyword: automated synthesis

Khomenko, Victor; Koutny, Maciej; Yakovlev, Alex:
Detecting State Coding Conflicts in STG Unfoldings Using SAT. 2003.
Holloway, L.E.; Guan, X.; Sundaravadivelu, R.; Ashley, J.:
Automated synthesis and composition of task blocks for control of manufacturing systems. 2000.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography