On the coverability and reachability languages of monotonic extensions of Petri nets

  1. Delzanno, G.
  2. Rosa-Velardo, F.
Revue:
Theoretical Computer Science

ISSN: 0304-3975

Année de publication: 2013

Volumen: 467

Pages: 12-29

Type: Article

DOI: 10.1016/J.TCS.2012.09.021 GOOGLE SCHOLAR lock_openAccès ouvert editor