For the most recent entries see the
Petri Nets Newsletter.
Keyword: net unfoldings
Verification of bounded Petri nets using integer programming.
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.
Detecting State Coding Conflicts in STG Unfoldings Using SAT.
Deadlock prevention using Petri nets and their unfoldings.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography