{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:32:24Z","timestamp":1729625544161,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2004.1401374","type":"proceedings-article","created":{"date-parts":[[2005,3,31]],"date-time":"2005-03-31T18:26:51Z","timestamp":1112293611000},"page":"6212-6219","source":"Crossref","is-referenced-by-count":1,"title":["Large scale construction of railroad models from speci cations"],"prefix":"10.1109","volume":"7","author":[{"given":"A.","family":"Moen","sequence":"first","affiliation":[]},{"family":"Ingrid Chieh Yu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289507"},{"article-title":"Railway Operation and Control","year":"2002","author":"pachl","key":"ref3"},{"key":"ref10","article-title":"Modelling and Simulation of Train Control Systems using Petri Nets","author":"zu h\u00f6rste","year":"1999","journal-title":"FMRail Workshop 3"},{"key":"ref6","first-page":"31","article-title":"Modelling and Analyzing Workflow using a Petrinet based Approach","author":"van der aalst","year":"1994","journal-title":"Proceedings of the Second Workshop on Computer-supported Cooperative Work Petri nets and related formalisms"},{"key":"ref11","article-title":"Modelling Train Movement with Hybrid Petri Nets","volume":"4","author":"decknatel","year":"1999","journal-title":"FMERail Workshop"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04457-5","article-title":"Petri Net Algebra","author":"best","year":"2001"},{"key":"ref12","article-title":"Petri nets theory in the railway signalling models","author":"malavasi","year":"1999","journal-title":"FMRail Workshop 5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5499-8_10"},{"key":"ref2","article-title":"Extracting High-Level Information from Petri Nets: A Railroad Case","volume":"52","author":"kristoffersen","year":"2003","journal-title":"Proc Estonian Acad Phys Math"},{"key":"ref9","article-title":"On Modelling Train Traffic in a Model Train Systern","author":"hielscher","year":"1998","journal-title":"Workshop Tutorial Pract Use colored Petri nets Design\/CPN"},{"key":"ref1","article-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, ser, EATCS Monographs on Theoretical Computer Science","volume":"1","author":"jensen","year":"1997"}],"event":{"name":"2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)","acronym":"ICSMC-04","location":"The Hague, Netherlands"},"container-title":["2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9622\/30427\/01401374.pdf?arnumber=1401374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T17:50:58Z","timestamp":1497635458000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1401374\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2004.1401374","relation":{},"subject":[]}}