Construction and SAT−based verification of Contextual Unfoldings

類似資料

• Efficient Contextual Unfolding
  著者:: Rodríguez, C, 等
  出版事項: (2011)
• Efficient unfolding of contextual Petri nets
  著者:: Baldan, P, 等
  出版事項: (2012)
• An Improved Construction of Petri Net Unfoldings
  著者:: Rodríguez, C, 等
  出版事項: (2013)
• Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
  著者:: Rodríguez, C, 等
  出版事項: (2013)
• Contextual Merged Processes
  著者:: Rodríguez, C, 等
  出版事項: (2013)