{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T04:08:11Z","timestamp":1648699691571},"reference-count":13,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4764,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1016\/s0304-3975(98)00188-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T20:43:06Z","timestamp":1027629786000},"page":"1-34","source":"Crossref","is-referenced-by-count":1,"title":["Processes of timed Petri nets"],"prefix":"10.1016","volume":"243","author":[{"given":"J\u00f3zef","family":"Winkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(98)00188-1_BIB1","doi-asserted-by":"crossref","unstructured":"E. Best, Weighted Basic Petri Nets, Lecture Notes in Computer Science, vol. 335, Springer, Berlin, 1988, pp. 257\u2013276.","DOI":"10.1007\/3-540-50403-6_44"},{"key":"10.1016\/S0304-3975(98)00188-1_BIB2","doi-asserted-by":"crossref","unstructured":"C. Brown, D. Gurr, Timing petri nets categorically, Lecture Notes in Computer Science, vol. 623, Proc. ICALP\u201992, Springer, Berlin, 1992, pp. 571\u2013582.","DOI":"10.1007\/3-540-55719-9_105"},{"key":"10.1016\/S0304-3975(98)00188-1_BIB3","doi-asserted-by":"crossref","unstructured":"P. Degano, J. Meseguer, U. Montanari, Axiomatizing net computations and processes, Proc. 4th LICS Symp., IEEE, 1989, pp. 175\u2013185.","DOI":"10.1109\/LICS.1989.39172"},{"key":"10.1016\/S0304-3975(98)00188-1_BIB4","doi-asserted-by":"crossref","unstructured":"G. Ferrari, U. Montanari, Dynamic matrices and the cost analysis of concurrent programs, Proc. AMAST\u201995, Lecture Notes in Computer Science, vol. 936, Springer, Berlin, 1995, pp. 307\u2013321.","DOI":"10.1007\/3-540-60043-4_61"},{"key":"10.1016\/S0304-3975(98)00188-1_BIB5","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek, F. Vaandrager, Petri net models for algebraic theories of concurrency, in: J.W. de Bakker, A.J. Nijman (Eds.), Proc. PARLE Conf., Eindhoven, 1987, Springer, Lecture Notes in Computer Science, vol. 259, pp. 224\u2013242.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"10.1016\/S0304-3975(98)00188-1_BIB6","doi-asserted-by":"crossref","unstructured":"R. Gorrieri, M. Roccetti, E. Stancampiano, A theory of processes with durational actions, Theoret. Comput. Sci. 140 (1995), pp. 73\u201394.","DOI":"10.1016\/0304-3975(94)00205-W"},{"issue":"1","key":"10.1016\/S0304-3975(98)00188-1_BIB7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","article-title":"Modelling concurrency with partial orders","volume":"15","author":"Pratt","year":"1986","journal-title":"Int. J. of Parallel Program."},{"key":"10.1016\/S0304-3975(98)00188-1_BIB8","unstructured":"C. Ramchandani, Analysis of asynchronous concurrent systems by timed petri nets, MIT, Project MAC, Tech. Rep. 120, Feb. 1974."},{"key":"10.1016\/S0304-3975(98)00188-1_BIB9","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(80)90004-3","article-title":"Behaviours of concurrent systems","volume":"12","author":"Winkowski","year":"1980","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(98)00188-1_BIB10","unstructured":"J. Winkowski, An algebra of time-consuming computations, Institute of Computer Science of the Polish Academy of Sciences, Technical Report 722, December 1992, Proc. Concurrency Specification and Programming 93 Workshop, Niebor\u00f3w near Warsaw, Poland, October 1993, pp. 258\u2013273."},{"key":"10.1016\/S0304-3975(98)00188-1_BIB11","unstructured":"J. Winkowski, A partial order representation of processes of timed petri nets, Institute of Computer Science of the Polish Academy of Sciences, Technical Report 729, September 1993."},{"key":"10.1016\/S0304-3975(98)00188-1_BIB12","doi-asserted-by":"crossref","unstructured":"J. Winkowski, An algebraic description of processes of timed petri nets, in: G. Cohen, J.-P. Quadrat (Eds.), Proc. of 11th Int. Conf. on Analysis and Optimization of Systems, Sophia-Antipolis, June 1994, Springer Lecture Notes in Control and Information Sciences, vol. 199, 1994, pp. 213\u2013219.","DOI":"10.1007\/BFb0033551"},{"key":"10.1016\/S0304-3975(98)00188-1_BIB13","doi-asserted-by":"crossref","unstructured":"J. Winkowski, Algebras of processes of timed petri nets, in: B. Jonsson, J. Parrow (Eds.), Proc. CONCUR 94: Concurrency Theory, 5th Int. Conf., Uppsala, August 1994, Lecture Notes in Computer Science, vol. 936, Springer, Berlin, 1994, pp. 194\u2013209.","DOI":"10.1007\/978-3-540-48654-1_18"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397598001881?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397598001881?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,16]],"date-time":"2020-01-16T21:35:21Z","timestamp":1579210521000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397598001881"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":13,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["S0304397598001881"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(98)00188-1","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}