StrataGEM: A Generic Petri Net Verification Framework

López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier

doi:10.1007/978-3-319-07734-5_20

by Edmundo López Bóbeda, Maximilien Colange, Didier Buchs

Reference:

StrataGEM: A Generic Petri Net Verification Framework (Edmundo López Bóbeda, Maximilien Colange, Didier Buchs), In Application and Theory of Petri Nets and Concurrency (Gianfranco Ciardo, Ekkart Kindler, eds.), Springer, volume 8489, 2014.

Bibtex Entry:

@inproceedings{lopez2014stratagem,
   editor    = {Gianfranco Ciardo and Ekkart Kindler},
   booktitle = {Application and Theory of Petri Nets and Concurrency},
   publisher = {Springer},
   location  = {Heidelberg},
   series    = {Lecture Notes in Computer Science},
   volume    = {8489},
   year      = {2014},
   month     = {June},
   isbn      = {978-3-319-07733-8},
   doi       = {10.1007/978-3-319-07734-5_20},
   author    = {L\'{o}pez B\'{o}beda, Edmundo and Colange, Maximilien and Buchs, Didier},
   title     = {{S}trata{GEM}: A {G}eneric {P}etri {N}et {V}erification {F}ramework},
   pages     = {364--373},
   url       = {documents/pn_2014.pdf}
}