@inproceedings {MITIP2012_BarthaEtAl,
	title = {Verification of an Industrial Safety Function Using Coloured {P}etri Nets and Model Checking},
	author = {Tam\'as Bartha and Andr\'as V\"or\"os and Attila J\'ambor and D\'aniel Darvas},
	booktitle = {Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP 2012)},
	editor = {Ilie{-}Zudor, Elisabeth and Kem\'eny, Zsolt and Monostori, L\'aszl\'o},
	pages = {472--485},
	year = {2012},
	isbn = {978-963-311-373-8},
	publisher = {Hungarian Academy of Sciences, Computer and Automation Research Institute},
	location = {Budapest, Hungary},
	bib-link = {MITIP2012_BarthaEtAl.bib},
	pdf-link = {http://petridotnet.inf.mit.bme.hu/publications/MITIP2012_BarthaEtAl.pdf},
	mtmt = {2088473},
}

{"_id":"otaiXmGiJJeikuDoT","bibbaseid":"bartha-vrs-jmbor-darvas-verificationofanindustrialsafetyfunctionusingcolouredpetrinetsandmodelchecking-2012","author_short":["Bartha, T.","Vörös, A.","Jámbor, A.","Darvas, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking","author":[{"firstnames":["Tamás"],"propositions":[],"lastnames":["Bartha"],"suffixes":[]},{"firstnames":["András"],"propositions":[],"lastnames":["Vörös"],"suffixes":[]},{"firstnames":["Attila"],"propositions":[],"lastnames":["Jámbor"],"suffixes":[]},{"firstnames":["Dániel"],"propositions":[],"lastnames":["Darvas"],"suffixes":[]}],"booktitle":"Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP 2012)","editor":[{"propositions":[],"lastnames":["Ilie-Zudor"],"firstnames":["Elisabeth"],"suffixes":[]},{"propositions":[],"lastnames":["Kemény"],"firstnames":["Zsolt"],"suffixes":[]},{"propositions":[],"lastnames":["Monostori"],"firstnames":["László"],"suffixes":[]}],"pages":"472–485","year":"2012","isbn":"978-963-311-373-8","publisher":"Hungarian Academy of Sciences, Computer and Automation Research Institute","location":"Budapest, Hungary","bib-link":"MITIP2012_BarthaEtAl.bib","pdf-link":"http://petridotnet.inf.mit.bme.hu/publications/MITIP2012_BarthaEtAl.pdf","mtmt":"2088473","bibtex":"@inproceedings {MITIP2012_BarthaEtAl,\r\n\ttitle = {Verification of an Industrial Safety Function Using Coloured {P}etri Nets and Model Checking},\r\n\tauthor = {Tam\\'as Bartha and Andr\\'as V\\\"or\\\"os and Attila J\\'ambor and D\\'aniel Darvas},\r\n\tbooktitle = {Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP 2012)},\r\n\teditor = {Ilie{-}Zudor, Elisabeth and Kem\\'eny, Zsolt and Monostori, L\\'aszl\\'o},\r\n\tpages = {472--485},\r\n\tyear = {2012},\r\n\tisbn = {978-963-311-373-8},\r\n\tpublisher = {Hungarian Academy of Sciences, Computer and Automation Research Institute},\r\n\tlocation = {Budapest, Hungary},\r\n\tbib-link = {MITIP2012_BarthaEtAl.bib},\r\n\tpdf-link = {http://petridotnet.inf.mit.bme.hu/publications/MITIP2012_BarthaEtAl.pdf},\r\n\tmtmt = {2088473},\r\n} ","author_short":["Bartha, T.","Vörös, A.","Jámbor, A.","Darvas, D."],"editor_short":["Ilie-Zudor, E.","Kemény, Z.","Monostori, L."],"key":"MITIP2012_BarthaEtAl","id":"MITIP2012_BarthaEtAl","bibbaseid":"bartha-vrs-jmbor-darvas-verificationofanindustrialsafetyfunctionusingcolouredpetrinetsandmodelchecking-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/dCeznpBAzxTrywZNv/concat.bib","dataSources":["Ns424gQ7uLXCfPfkn","jM34vwc7EN6oJyoqq"],"keywords":[],"search_terms":["verification","industrial","safety","function","using","coloured","petri","nets","model","checking","bartha","vörös","jámbor","darvas"],"title":"Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking","year":2012}