Efficient unfolding of contextual Petri nets

समान संसाधन

• Efficient Contextual Unfolding
  द्वारा: Rodríguez, C, और अन्य
  प्रकाशित: (2011)
• 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)
• Construction and SAT−based verification of Contextual Unfoldings
  द्वारा: Schwoon, S, और अन्य
  प्रकाशित: (2011)
• Verification of Petri Nets with Read Arcs
  द्वारा: Rodríguez, C, और अन्य
  प्रकाशित: (2012)