Synthesizing Petri nets from state-based models

Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev. Synthesizing Petri nets from state-based models. In Richard L. Rudell, editor, Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995, San Jose, California, USA, November 5-9, 1995. pages 164-171, IEEE Computer Society, 1995. [doi]

Authors

Jordi Cortadella

This author has not been identified. Look up 'Jordi Cortadella' in Google

Michael Kishinevsky

This author has not been identified. Look up 'Michael Kishinevsky' in Google

Luciano Lavagno

This author has not been identified. Look up 'Luciano Lavagno' in Google

Alexandre Yakovlev

This author has not been identified. Look up 'Alexandre Yakovlev' in Google