@misc{brown1991linear,
  title={A Linear Specification Language for Petri Nets},
  author={Brown, Carolyn and Gurr, Doug and de Paiva, Valeria},
  year={1991}
}

{"_id":"MMxCia6LadNYf2NPG","bibbaseid":"brown-gurr-depaiva-alinearspecificationlanguageforpetrinets-1991","author_short":["Brown, C.","Gurr, D.","de Paiva, V."],"bibdata":{"bibtype":"misc","type":"misc","title":"A Linear Specification Language for Petri Nets","author":[{"propositions":[],"lastnames":["Brown"],"firstnames":["Carolyn"],"suffixes":[]},{"propositions":[],"lastnames":["Gurr"],"firstnames":["Doug"],"suffixes":[]},{"propositions":["de"],"lastnames":["Paiva"],"firstnames":["Valeria"],"suffixes":[]}],"year":"1991","bibtex":"@misc{brown1991linear,\n title={A Linear Specification Language for Petri Nets},\n author={Brown, Carolyn and Gurr, Doug and de Paiva, Valeria},\n year={1991}\n}\n\n","author_short":["Brown, C.","Gurr, D.","de Paiva, V."],"key":"brown1991linear","id":"brown1991linear","bibbaseid":"brown-gurr-depaiva-alinearspecificationlanguageforpetrinets-1991","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"https://bibbase.org/network/files/bGmnF9MtdvorA3axu","dataSources":["G5gXTcMBqic2Zkybh"],"keywords":[],"search_terms":["linear","specification","language","petri","nets","brown","gurr","de paiva"],"title":"A Linear Specification Language for Petri Nets","year":1991}