{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T14:03:31Z","timestamp":1749737011976},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569398"},{"type":"electronic","value":"9783540478263"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56939-1_103","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:56:27Z","timestamp":1330239387000},"page":"570-581","source":"Crossref","is-referenced-by-count":5,"title":["Temporal logic and categories of Petri nets"],"prefix":"10.1007","author":[{"given":"Carolyn","family":"Brown","sequence":"first","affiliation":[]},{"given":"Doug","family":"Gurr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"47_CR1","unstructured":"H. R. Andersen and G. Winskel, Compositional Checking of Satisfaction, in K. G. Larsen and A. Skou, editors, Proc. 3rd Workshop on Computer Aided Verification, 1991, Aalborg, LNCS 575."},{"key":"47_CR2","unstructured":"C. T. Brown, Linear Logic and Petri Nets: Categories, Algebra and Proof, PhD thesis, University of Edinburgh, Technical Report ECS-LFCS-91-128, 1990."},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"C. T. Brown and D. J. Gurr, Refinement and Simulation of Nets \u2014 a categorical characterisation, in K. Jensen, editor, Proc. 13th Int. Conf. on Applications and Theory of Petri Nets, LNCS 616, 1992.","DOI":"10.1007\/3-540-55676-1_5"},{"key":"47_CR4","doi-asserted-by":"crossref","unstructured":"C. T. Brown and D. J. Gurr, Timing Petri Nets Categorically, in W. Kuich, editor, Proc. 1CALP, LNCS 623, 1992.","DOI":"10.1007\/3-540-55719-9_105"},{"key":"47_CR5","doi-asserted-by":"crossref","unstructured":"C. T. Brown, D. J. Gurr and V. C. V. de Paiva, A Linear Specification Language for Petri Nets, Tech. Report DAIMI PB-363, \u00e5rhus University, 1991, to appear in Math. Structures in Comp. Science.","DOI":"10.7146\/dpb.v20i363.6594"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Proc. Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, 1988.","DOI":"10.1007\/BFb0013019"},{"key":"47_CR7","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen, Results on the Prepositional \u039c-calculus, Theoretical Computer Science, 27:333\u2013354, 1983.","journal-title":"Theoretical Computer Science"},{"key":"47_CR8","first-page":"201","volume":"354","author":"Z. Manna","year":"1988","unstructured":"Z. Manna and A. Pnueli, The Anchored Version of the Temporal Framework, in [6], pages 201\u2013284.","journal-title":"LNCS"},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, A Hierarchy of Temporal Properties, in Proc. ACM Symposium on Principles of Distributed Computing, Quebec, 1990.","DOI":"10.1145\/93385.93442"},{"key":"47_CR10","unstructured":"J. Meseguer and U. Montanari, Petri nets are Monoids: A new algebraic foundation for net theory, in Proc LICS, 1988."},{"key":"47_CR11","unstructured":"R. Milner, Communication and Concurrency, Prentice Hall, 1989."},{"key":"47_CR12","doi-asserted-by":"crossref","unstructured":"E. R. Olderog, Nets, Terms and Formulas, CUP, 1991.","DOI":"10.1017\/CBO9780511526589"},{"key":"47_CR13","unstructured":"D. M. R. Park, Concurrency and Automata on Infinite Sequences, LNCS 104, Springer-Verlag, 1980."},{"key":"47_CR14","doi-asserted-by":"crossref","unstructured":"W. Reisig, Petri Nets: an Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"47_CR15","first-page":"603","volume":"354","author":"W. Reisig","year":"1988","unstructured":"W. Reisig, Towards a Temporal Logic for Causality and Choice in Distributed Systems, in [6]:603\u2013627.","journal-title":"LNCS"},{"key":"47_CR16","unstructured":"G. Winskel, A Category of Labelled Petri Nets and Compositional Proof System, in Proc LICS, 1988."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56939-1_103.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:07:22Z","timestamp":1605629242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56939-1_103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569398","9783540478263"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-56939-1_103","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}