Variants of the Language Based Synthesis Problem for Petri Nets

Sebastian Mauser, Robert Lorenz. Variants of the Language Based Synthesis Problem for Petri Nets. In Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009. pages 89-98, IEEE Computer Society, 2009. [doi]

Authors

Sebastian Mauser

This author has not been identified. Look up 'Sebastian Mauser' in Google

Robert Lorenz

This author has not been identified. Look up 'Robert Lorenz' in Google