Verification of Petri Nets with Read Arcs

Míreanna comhchosúla

• Verification of Petri Nets with Read Arcs
  de réir: Rodríguez, C, et al.
  Foilsithe / Cruthaithe: (2012)
• Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
  de réir: Rodríguez, C, et al.
  Foilsithe / Cruthaithe: (2013)
• Verification Based on Unfoldings of Petri Nets with Read Arcs
  de réir: Rodríguez, C
  Foilsithe / Cruthaithe: (2013)
• An Improved Construction of Petri Net Unfoldings
  de réir: Rodríguez, C, et al.
  Foilsithe / Cruthaithe: (2013)
• Efficient unfolding of contextual Petri nets
  de réir: Baldan, P, et al.
  Foilsithe / Cruthaithe: (2012)