{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:46Z","timestamp":1725663406840},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179061"},{"type":"electronic","value":"9783540479260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17906-2_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:17:51Z","timestamp":1330197471000},"page":"258-277","source":"Crossref","is-referenced-by-count":3,"title":["Modelling architectural features with petrinets"],"prefix":"10.1007","author":[{"given":"Jean -Loup","family":"Baer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Agerwala,T. \"A Complete Model for Representing the Coordination of Asynchronous Processes\", Hopkins Computer Research Report #32, July 1974","DOI":"10.2172\/4242290"},{"issue":"12","key":"11_CR2","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/MC.1979.1658580","volume":"12","author":"T. Agerwala","year":"1979","unstructured":"Agerwala, T. \"Putting Petri Nets to Work\", Computer, 12, 12, Dec 1979, pp 85\u201394","journal-title":"Computer"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Archibald,J. and J.-L. Baer \"An Economical Solution to the Cache Coherence Problem\" Proc. 11th Symp. on Computer Architecture, 1984, pp. 355\u2013362","DOI":"10.1145\/800015.808205"},{"key":"11_CR4","volume-title":"Computer Systems Architecture","author":"J.-L. Baer","year":"1980","unstructured":"Baer, J.-L. Computer Systems Architecture, Computer Science Press, Rockville, Md, 1980"},{"key":"11_CR5","unstructured":"Baer,J.-L. and C.Girault \"A Petri Net Model for a Solution to the Cache Coherence Problem\", Proc. 1st Conf. on Supercomputing Systems, 1985, pp. 680\u2013689"},{"key":"11_CR6","unstructured":"Baer,J.-L. and C.Girault \"Design of a Parallel Architecture for the Cache Coherence Problem\", Proc. Parallel Computing, Berlin, 1985"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Bernstein,A.J. \"Analysis of Programs for Parallel Processing\", IEEE TC, E-15, Oct 1966, pp 746\u2013757","DOI":"10.1109\/PGEC.1966.264565"},{"key":"11_CR8","unstructured":"Best,E. and C.Fernandez \"Notations and Terminology on Petri Net Theory\", Arbeitspapiere der GMD 195, GMD, Jan 1986"},{"key":"11_CR9","volume-title":"R\u00e9seaux de Petri: Th\u00e9ory et Pratique","author":"G. W. Brams","year":"1982","unstructured":"Brams, G.W. R\u00e9seaux de Petri: Th\u00e9ory et Pratique, Masson, Paris, vols 1 and 2, 1982"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Genrich,H.J. and K.Lautenbach \"The Analysis of Distributed Systems by Means of Predicate\/Transition Nets\" Lecture Notes in Computer Science, 70, Springer-Verlag, 1979","DOI":"10.1007\/BFb0022467"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"Jensen, K. \"Coloured Petri Nets and the Invariant Method\", Theoretical Computer Science, 14, 3, June 1981","journal-title":"Theoretical Computer Science"},{"key":"11_CR12","unstructured":"Patil,S.S. and J.B.Dennis \"The Description and Realization of Digital Systems\", Compcon Digest, 1972, pp. 223\u2013227"},{"key":"11_CR13","volume-title":"Petri Net Theory and the Modelling of Systems","author":"J. L. Peterson","year":"1981","unstructured":"Peterson, J.L. Petri Net Theory and the Modelling of Systems, Prentice-Hall, Englewood Cliffs, NJ 1981"},{"issue":"3","key":"11_CR14","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1145\/356887.356892","volume":"14","author":"A. J. Smith","year":"1982","unstructured":"Smith, A.J. \"Cache Memories\", Computing Surveys, 14, 3, Sept. 1982, pp. 473\u2013530","journal-title":"Computing Surveys"},{"key":"11_CR15","volume-title":"Design of a Computer System, the Control Data 6600","author":"J. E. Thornton","year":"1970","unstructured":"Thornton, J.E. Design of a Computer System, the Control Data 6600, Scott, Foresman and Co., Glenview, Ill, 1970"},{"key":"11_CR16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1147\/rd.111.0025","volume":"11","author":"R. M. Tomasulo","year":"1967","unstructured":"Tomasulo, R.M. \"An Efficient Algorithm for Exploiting Multiple Arithmetic Units\", IBM J. of Research and Development, 11, Jan 1967, pp. 25\u201333","journal-title":"IBM J. of Research and Development"},{"key":"11_CR17","first-page":"1013","volume":"11","author":"S. Weiss","year":"1984","unstructured":"Weiss, S. and J.E. Smith \"Instruction Issue Logic in Pipelined Supercomputers\", IEEE TC, C-33, 11, Nov 1984, pp. 1013\u20131022","journal-title":"IEEE TC, C-33"}],"container-title":["Lecture Notes in Computer Science","Petri Nets: Applications and Relationships to Other Models of Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17906-2_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:21Z","timestamp":1605644001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17906-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179061","9783540479260"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-17906-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}