{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T15:18:46Z","timestamp":1726154326043},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:21:15Z","timestamp":1330269675000},"page":"99-118","source":"Crossref","is-referenced-by-count":6,"title":["Implementation of weighted place\/transition nets based on Linear Enabling Functions"],"prefix":"10.1007","author":[{"given":"J. L.","family":"Briz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"7_CR1","first-page":"186","volume-title":"Time Warp Simulation of Stochastic Petri Nets","author":"HH Ammar","year":"1901","unstructured":"HH Ammar and Su Deng. Time Warp Simulation of Stochastic Petri Nets. In Proc. of the 4th Int. Workshop on Petri Nets and Performance Models, pages 186\u2013195, Melbourne, Australia, December 1901. IEEE-CS Press."},{"key":"7_CR2","unstructured":"J Banks and JS Carson. Discrete-Event System Simulation. Prentice Hall, Inc., 1984."},{"key":"7_CR3","unstructured":"F Br\u00e9ant. Rapid prototyping from petri net on a loosely coupled parallel architecture. In Transputer applications 1991, pages 28\u201330, Glasgow, Scotland (UK), August 1991."},{"key":"7_CR4","unstructured":"G Chiola, S Donatelli, and G Franceschinis. Priorities, Inhibitor Arcs and Concurrency in P\/T nets. In Proc. of the 12th Int. Conference in Application and Theory of Petri Nets, pages 182\u2013205, Aarhus, June 1991."},{"key":"7_CR5","first-page":"186","volume-title":"Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency","author":"G Chiola","year":"1993","unstructured":"G Chiola and A Ferscha. Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency. In Marco Ajmone Marsan, editor, Proc. of the 14th Int. Conf. on App. and Theory of Petri Nets, pages 186\u2013195, Melbourne, Australia, December 1993. Springer-Verlag."},{"key":"7_CR6","unstructured":"D Chocron. Un Syst\u00e8me de Programmation par RdP de Controleurs Industriels. Master's thesis, Montreal, Canada, 1980."},{"key":"7_CR7","unstructured":"JM Colom, M Silva, and JL Villarroel. On software implementation of Petri Nets and Colored Petri Nets using high level concurrent languages. In Proc. of 7th European Workshop on Application and Theory of Petri nets, pages 207\u2013241, Oxford, England, January 1986."},{"issue":"10","key":"7_CR8","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/84537.84545","volume":"33","author":"RM Fujimoto","year":"1990","unstructured":"RM Fujimoto. Parallel Discrete Event Simulation. Communications of the ACM, 33(10):30\u201353, October 1990.","journal-title":"Communications of the ACM"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF02579150","volume":"4","author":"N Karmarkar","year":"1984","unstructured":"N Karmarkar. A New Polynomial Time Algorithm for Linear Programming. Combinatorica, (4):373\u2013395, 1984.","journal-title":"Combinatorica"},{"key":"7_CR10","volume-title":"PhD thesis","author":"F Kordon","year":"1992","unstructured":"F Kordon. Prototypage de syst\u00e8mes parall\u00e8les \u00e0 partir de r\u00e9seaux de Petri color\u00e9s. PhD thesis, Institut Blaise Pascal, Univ. Paris VI, 4, Place Jussieu 75252 PARIS CEDEX 05, 1992."},{"issue":"2","key":"7_CR11","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1109\/71.127257","volume":"3","author":"D Kumar","year":"1992","unstructured":"D Kumar. Systems with low distributed simulation overhead. IEEE Transactions on Parallel and Distributed Systems, 3(2):155\u2013165, March 1992.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"8","key":"7_CR12","doi-asserted-by":"crossref","first-page":"1214","DOI":"10.1109\/9.233154","volume":"38","author":"Y Li","year":"1993","unstructured":"Y Li and WM Wonham. Control of Vector Discrete-Event Systems. I The Base Model. IEEE Transactions on Automatic Control, 38(8):1214\u20131227, August 1993.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"7_CR13","unstructured":"J Miguel and M Gra\u00f1a. Towards the Distributed Implementation of Discrete Event Simulation Languages. In Proc. Int. Conf. on Decentralized and Distributed Systems ICDDS'93, pages 273\u2013285, Mallorca, Espa\u00f1a, September 1993."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"J Misra. Distributed discrete-event simulation. ACM Computing Surveys, 18(1), March 1986.","DOI":"10.1145\/6462.6485"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"T Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4), April 1989.","DOI":"10.1109\/5.24143"},{"issue":"5","key":"7_CR16","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1109\/TSE.1983.235118","volume":"9","author":"RA Nelson","year":"1983","unstructured":"RA Nelson, LM Haibt, and PB Sheridan. Casting Petri Nets into programs. IEEE Trnasactions on Software Engineering, 9(5):590\u2013602, September 1983.","journal-title":"IEEE Trnasactions on Software Engineering"},{"key":"7_CR17","volume-title":"PhD thesis","author":"C Ramchandany","year":"1974","unstructured":"C Ramchandany. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. PhD thesis, Massachusetts Institute of Technology, Massachusetts 02139, USA, 1974."},{"key":"7_CR18","volume-title":"Las Redes de Petri en la Inform\u00e1tica y en la Autom\u00e1tica","author":"M Silva","year":"1985","unstructured":"M Silva. Las Redes de Petri en la Inform\u00e1tica y en la Autom\u00e1tica. AC, Madrid, 1985."},{"key":"7_CR19","first-page":"387","volume-title":"Advances in Petri Nets 1988, volume 340 of Lecture Notes in Computer Sciences","author":"M Silva","year":"1988","unstructured":"M Silva and JM Colom. On the Computation of Structural Synchronic Invariants in P\/T Nets. In G Rozenberg, H Genrich, and G Roucairol, editors, Advances in Petri Nets 1988, volume 340 of Lecture Notes in Computer Sciences, pages 387\u2013417. Springer-Verlag, Berlin, Germany, 1988."},{"issue":"4","key":"7_CR20","first-page":"369","volume":"13","author":"M Silva","year":"1979","unstructured":"M Silva and R David. Synthese programm\u00e9e des automates logiques d\u00e9crits par r\u00e9seaux de petri: Une m\u00e9thode de mise en oeuvre sur microcalculateurs. RairoAutomatique, 13(4):369\u2013393, november 1979.","journal-title":"RairoAutomatique"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"M Silva and S Velilla. Programmable logic controllers and Petri Nets: A comparative study. In Proc. of the Third IFAC\/IFIP Symposium, Software for ComputerControl 1982, pages 83\u201388. Pergamon Press, 1982.","DOI":"10.1016\/S1474-6670(17)62804-0"},{"key":"7_CR22","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-50580-6_40","volume-title":"Advances in Petri Nets 1988, volume 340 of Lecture Notes in Computer Sciences","author":"D Taubner","year":"1988","unstructured":"D Taubner. On the implementation of Petri Nets. In G. Rozenberg, H. Genrich, and G. Roucairol, editors, Advances in Petri Nets 1988, volume 340 of Lecture Notes in Computer Sciences, pages 418\u2013439. Springer-Verlag, Berlin, Germany, 1988."},{"key":"7_CR23","unstructured":"E. Teruel, J.M. Colom, and M. Silva. Linear analysis of deadlock-freeness of Petri net models. In Proc. of the European Control Conference, ECC'93, pages 513\u2013518, Groningen, The Netherlands, June 28\u2013July 1 1993."},{"key":"7_CR24","first-page":"191","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of Lecture Notes in Computer Sciences","author":"R Valette","year":"1986","unstructured":"R Valette. Nets in production systems. In G Goos and Hartmann, editors, Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of Lecture Notes in Computer Sciences, pages 191\u2013217. Springer-Verlag, Berlin, Germany, 1986."},{"key":"7_CR25","volume-title":"PhD thesis","author":"JL Villarroel","year":"1990","unstructured":"JL Villarroel. Integraci\u00f3n Inform\u00e1tica del Control en Sistemas Flexibles de Fabricaci\u00f3n. PhD thesis, Universidad de Zaragoza, Mar\u00eda de Luna 3 E-50015 Zaragoza, Espa\u00f1a, 1990."},{"key":"7_CR26","unstructured":"BP Zeigler. Theory of Modelling and Simulation. Wiley-Interscience, 1976."},{"key":"7_CR27","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01439845","volume":"3","author":"BP Zeigler","year":"1993","unstructured":"BP Zeigler and WH Sanders. Frameworks for Evaluating Discrete Event Dynamic Systems. Discrete Event Dynamic Systems: Theory and Applications, (3):113\u2013118, 1993.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:43Z","timestamp":1619572303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}