"The Synthesis Problem for Elementary Net Systems is NP-Complete."

Éric Badouel, Luca Bernardinello, Philippe Darondeau (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics