Sciweavers

LATA
2010
Springer

Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data

13 years 9 months ago
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we consider extensions of Petri nets with transfer and reset operations defined for black indistinguishable tokens (Affine Well-Structured Nets), extensions in which tokens carry pure names dynamically generated with special ν-transitions (ν-APN), and extensions in which tokens carry data taken from a linearly ordered domain (Data nets and CMRS). These models are well-structured transitions systems. In order to compare these models we consider the families of languages they recognize, using coverability as accepting condition. With this criterion, we prove that ν-APNs are in between AWNs and Data Nets/CMRS. Moreover, we prove that the family of languages recognized by ν-APNs satisfies a good number of closure properties, being a semi-full AFL. These results extend the currently known classification of the expres...
Fernando Rosa Velardo, Giorgio Delzanno
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where LATA
Authors Fernando Rosa Velardo, Giorgio Delzanno
Comments (0)