{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:08:10Z","timestamp":1729652890838,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/etfa.2014.7005053","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T16:34:59Z","timestamp":1421166899000},"page":"1-12","source":"Crossref","is-referenced-by-count":3,"title":["MATLAB tools for the analysis of Petri net models"],"prefix":"10.1109","author":[{"given":"Jorge","family":"Julvez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihaela H.","family":"Matcovschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Octavian","family":"Pastravanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Stochastic Discrete Event Systems-Modeling Evaluation Applications","year":"2007","author":"zimmermann","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"journal-title":"Transaktionsorientierte Recovery-Konzepte für verteilte Datenbanksysteme","year":"1982","author":"walter","key":"ref31"},{"key":"ref30","article-title":"Hybrid Petri net model of a traffic intersection in an urban network","author":"v\u00e1zquez","year":"2010","journal-title":"2010 IEEE Multiconference on Systems and Control"},{"key":"ref34","first-page":"250","article-title":"Timenetsim a parallel simulator for stochastic Petri nets","author":"zimmermann","year":"1995","journal-title":"Proc 28th Annual Simulation Symposium"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-6955-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68894-5_7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2011.10.001"},{"key":"ref13","first-page":"18","article-title":"Matlab tools for Petri-net-based approaches to flexible manufacturing systems","author":"mahulea","year":"2001","journal-title":"9th IFAC Symposium on Large Scale Systems LSS 2001"},{"key":"ref14","first-page":"2298","article-title":"Petri net toolbox in control engineering education","author":"matcovschi","year":"2006","journal-title":"2006 IEEE International Conference on Computer Aided Control System Design"},{"key":"ref15","article-title":"Petri Net Toolbox for MATLAB","author":"matcovschi","year":"2003","journal-title":"MED'03-The 11th Mediterranean Conference on Control and Automation"},{"key":"ref16","first-page":"55","article-title":"A new approach to hybrid system simulation: Development of a Simulink library for Petri net models","volume":"7","author":"matcovschi","year":"2005","journal-title":"Control Engineering and Applied Informatics"},{"journal-title":"A study of the recoverability of computer systems","year":"1974","author":"merlin","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/3-540-61363-3_2","article-title":"Temporal uncertainty and fuzzy-timing high-level Petri nets","volume":"1091","author":"murata","year":"1996","journal-title":"Application and Theory of Petri Nets 1996"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2002.806063"},{"key":"ref4","article-title":"Synchronization and linearity: an algebra for discrete event systems","author":"baccelli","year":"1992","journal-title":"Wiley Series in Probability and Mathematical Statistics"},{"key":"ref27","first-page":"37","article-title":"Réseaux de Petri et relaxations de l'integralité: Une vision des réseaux continus","author":"silva","year":"2000","journal-title":"Conf\ufffdrence Internationale Francophone d'Automatique (CIFA 2000)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000079"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1201\/9781315216140","author":"campos","year":"2014","journal-title":"Formal Methods in Manufacturing"},{"key":"ref29","first-page":"32","article-title":"Matlab toolbox for Petri nets","author":"sv\u00e1dov\u00e1","year":"2001","journal-title":"22nd International Conference ICATPN 2001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/70.864231"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref7","first-page":"275","article-title":"Continuous Petri nets","author":"david","year":"1987","journal-title":"Proc of the 8th European Workshop on Application and Theory of Petri Nets"},{"journal-title":"Modelling with Generalized Stochastic Petri Nets","year":"1995","author":"marsan","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"journal-title":"Applications of Petri Nets in Manufacturing Systems Modeling Control and Performance Analysis","year":"1995","author":"desrochers","key":"ref9"},{"key":"ref20","article-title":"Kommunikation mit Automaten (Communication with Automata)","volume":"1","author":"petri","year":"1962","journal-title":"Technical Report RADC-TR-65–377"},{"key":"ref22","article-title":"Control of Discrete-Event Systems: Automata and Petri Net Perspectives","author":"seatzu","year":"2012","journal-title":"Lecture Notes in Control and Information Science3"},{"key":"ref21","article-title":"Analysis of asynchronous concurrent systems by Petri nets","author":"ramchandani","year":"1974","journal-title":"Technical Report Project MAC TR-120"},{"key":"ref24","first-page":"75","article-title":"Uses of Petri nets for performance evaluation","author":"sifakis","year":"1977","journal-title":"Measuring Modelling and Evaluating Computer Systems"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/978-3-540-68746-7_28","article-title":"HYPENS: a Matlab tool for timed discrete, continuous and hybrid Petri nets","volume":"5062","author":"sessego","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"ref26","first-page":"237","article-title":"On the structural computation of synchronic invariants in P\/T nets","author":"silva","year":"1987","journal-title":"Proc of the 8th European Workshop on Application and Theory of Petri Nets"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.arcontrol.2013.09.001","article-title":"Half a century after Carl Adam Petri's","volume":"37","author":"silva","year":"2013","journal-title":"A perspective on the field Annual Reviews in Control"}],"event":{"name":"2014 IEEE Emerging Technology and Factory Automation (ETFA)","start":{"date-parts":[[2014,9,16]]},"location":"Barcelona, Spain","end":{"date-parts":[[2014,9,19]]}},"container-title":["Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6994138\/7005023\/07005053.pdf?arnumber=7005053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T13:19:29Z","timestamp":1566220769000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7005053\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/etfa.2014.7005053","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}