Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm.

Evgeny Erofeev, Ronny Tredup

Browse the full ICTAC paper archive.