Cunf - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Patents Year : 2011

Cunf

Abstract

The Cunf tool is a (contextual) Petri net unfolder implementing the unfolding algorithm presented by Paolo Baldan et al. in 2008

Domains

Other [cs.OH]
No file

Dates and versions

hal-00779948 , version 1 (22-01-2013)

Identifiers

  • HAL Id : hal-00779948 , version 1

Cite

César Rodríguez, Stefan Schwoon. Cunf. Patent n° : N/A. v35. 2011. ⟨hal-00779948⟩
82 View
0 Download

Share

Gmail Facebook X LinkedIn More