Verification of Petri Nets with Read Arcs
Príomhchruthaitheoirí: | Rodríguez, C, Schwoon, S |
---|---|
Formáid: | Report |
Foilsithe / Cruthaithe: |
LSV‚ ENS de Cachan‚ France
2012
|
Míreanna comhchosúla
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)