{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:57:53Z","timestamp":1725515873452},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687450"},{"type":"electronic","value":"9783540687467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68746-7_27","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T06:37:54Z","timestamp":1217486274000},"page":"409-418","source":"Crossref","is-referenced-by-count":3,"title":["Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Lourenco","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"Proceedings of the 2007 IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2007)","author":"R. Nunes","year":"2007","unstructured":"Nunes, R., Gomes, L., Barros, J.: A Graphical Editor for the Input-Output Place-Transition Petri Net Class. In: Proceedings of the 2007 IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2007). IEEE, Los Alamitos (2007)"},{"key":"27_CR2","unstructured":"S N O O P Y \u2019 s home page: Data Structures and Software Dependability \u2013 Brandenburg University of Technology Cottbus (2007), \n                    \n                      http:\/\/www-dssz.informatik.tu-cottbus.de\/software\/snoopy.html"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"27_CR4","unstructured":"PNML: Petri Net Markup Language (PNML) (2004), \n                    \n                      http:\/\/www.informatik.hu-berlin.de\/top\/pnml\/about.html"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Gomes, L., Barros, J., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: 5th IEEE International Conference on Industrial Informatics (INDIN 2007) (2007)","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"27_CR6","unstructured":"Gomes, L., Barros, J.P., Costa, A.: Petri Nets Tools and Embedded Systems Design. In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007) (2007)"},{"key":"27_CR7","unstructured":"FORDESIGN project: FORDESIGN project home page (2007), \n                    \n                      http:\/\/www.uninova.pt\/fordesign"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/11767589_26","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"M. Westergaard","year":"2006","unstructured":"Westergaard, M., Lassen, K.B.: The BRITNeY Suite Animation Tool. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 431\u2013440. Springer, Heidelberg (2006)"},{"key":"27_CR9","unstructured":"Westergaard, M.: BRITNeY suite website, \n                    \n                      http:\/\/wiki.daimi.au.dk\/tincpn\/"},{"key":"27_CR10","unstructured":"CPN-Tools: CPN Tools homepage, \n                    \n                      http:\/\/wiki.daimi.au.dk\/cpntools\/"},{"key":"27_CR11","unstructured":"Machado, R.J., Lassen, K.B., Oliveira, S., Couto, M., Pinto, P.: Execution of UML models with CPN Tools for workflow requirements validation. In: Proceedings of Sixth CPN Workshop, DAIMI, vol.\u00a0PB-576, pp. 231\u2013250 (2005)"},{"key":"27_CR12","unstructured":"ExSpect tool: The ExSpect tool website, \n                    \n                      http:\/\/www.exspect.com\/"},{"key":"27_CR13","volume-title":"Concurrency - State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency - State Models and Java Programs. John Wiley & Sons, Chichester (1999)"},{"key":"27_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/978-3-540-27793-4_27","volume-title":"Applications and Theory of Petri Nets 2004","author":"E. Kindler","year":"2004","unstructured":"Kindler, E., Pales, C.: 3d-visualization of Petri net models: Concepts and visualization. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 464\u2013473. Springer, Heidelberg (2004)"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-540-40022-6_6","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M. Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The Petri net kernel. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 109\u2013123. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68746-7_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,13]],"date-time":"2018-10-13T05:33:21Z","timestamp":1539408801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68746-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540687450","9783540687467"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68746-7_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}