For the most recent entries see the
Petri Nets Newsletter
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.
Detecting State Coding Conflicts in STG Unfoldings Using SAT.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography