{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:10Z","timestamp":1742591410057,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180869"},{"type":"electronic","value":"9783540477433"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18086-9_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:25:29Z","timestamp":1330197929000},"page":"293-308","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":50,"title":["Parallel systems specifications with coloured Petri nets and algebraic specifications"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Vautherin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"15_CR1","volume-title":"Current Trends in Programming Methodology, vol. IV","author":"ADJ Groupe","year":"1978","unstructured":"[ADJ 78] Groupe ADJ: J.A. Goguen, J.W. Thatcher, E.G. Wagner. \"An initial algebra approach to the specification, correctness and implementation of abstract data types\". Current Trends in Programming Methodology, vol. IV, R.T. Yeh Ed. Prentice Hall, New Jersey (1978)."},{"key":"15_CR2","unstructured":"[Berthelot 83] G. Berthelot. \"Transformation et analyse de r\u00e9seaux de Petri. Application aux protocoles\". Th\u00e8se de Doctorat d'Etat, Universit\u00e9 de Paris-Sud (1983)."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"[Berthomieu 81] B. Berthomieu. \"Algebraic specification of communication protocols\". UCS\/Inform. Sci. Inst., Rep. RR-81-98 (1981).","DOI":"10.21236\/ADA111744"},{"key":"15_CR4","unstructured":"[Brams 83] G.W. Brams. \"R\u00e9seaux de Petri: th\u00e9orie et pratique\". Masson (Ed.), Paris (1983)."},{"key":"15_CR5","first-page":"43","volume-title":"Programming Languages","author":"E.W. Dijkstra","year":"1968","unstructured":"[Dijkstra 68] E.W. Dijkstra. \"Cooperating sequential processes\". In Programming Languages, F. Genuys (ed.), Academic Press, New York, pp. 43\u2013112 (1968)."},{"key":"15_CR6","volume-title":"Fundamantals of Algebraic Specifications 1. Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"[Ehrig & Mahr 85] H. Ehrig, B. Mahr. \"Fundamantals of Algebraic Specifications 1. Equations and Initial Semantics\". W. Brauer (Ed.), Springer-Verlag, Berlin Heidelberg (1985)."},{"key":"15_CR7","unstructured":"[Gaudel 79] M.C. Gaudel. \"Algebraic Specification of Abstract Data Types\". Rap. de Rech. no360. INRIA, Le Chesnay (1979)."},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"[Genrich & Lautenbach 81] H.J. Genrich, K. Lautenbach. \"System modelling with high-level Petri-nets\". Theoretical Computer Science 13, pp. 109\u2013136. North-Holland Publishing Compagny (1981).","journal-title":"Theoretical Computer Science"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"[Genrich & Lautenbach 82] H.J. Genrich, K. Lautenbach. \"S-invariance in Predicate\/Transition-Nets\". Proc. of the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, 1982. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte vol. 66, Springer-Verlag (1983).","DOI":"10.1007\/978-3-642-69028-0_8"},{"key":"15_CR10","unstructured":"[Girault & Haddad 85] C. Girault, S. Haddad. \"Structure alg\u00e9brique des flots d'un r\u00e9seau r\u00e9gulier\". Manuscript."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"[Goltz & Reisig 84] U. Goltz, W. Reisig. \"CSP-programs as nets with individual tokens\". Advances in Petri Nets 1984, L.N.C.S. 188, G. Rozenberg Ed., pp. 169\u2013196. Springer-Verlag (1985).","DOI":"10.1007\/3-540-15204-0_11"},{"issue":"8","key":"15_CR12","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"[Hoare 78] C.A.R. Hoare. \"Communicating Sequential Processes\". Comm. ACM, Vol. 21, No 8, pp. 666\u2013677 (1978).","journal-title":"Comm. ACM"},{"key":"15_CR13","unstructured":"[INMOS 84] INMOS Ltd. \"The occam programming manual\". Prentice-Hall (1984)."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"[Jensen 81] K. Jensen. \"Coloured Petri Nets and the Invariant Method\". T.C.S. 14. North-Holland Pub. Co. (1981).","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"[Jensen 82] K. Jensen. \"High-level Petri Nets\". Proc. of the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, 1982. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Inf.-Fachberichte vol. 66, Springer-Verlag (1983).","DOI":"10.1007\/978-3-642-69028-0_12"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"[Kr\u00e4mer 85] B. Kr\u00e4mer. \"Stepwise Construction of Non-Sequential Software Systems Using a Net-Based Specification Language\". Advances in Petri Nets 1984, L.N.C.S. 188, G. Rozenberg Ed., pp. 307\u2013327. Springer-Verlag (1985).","DOI":"10.1007\/3-540-15204-0_18"},{"key":"15_CR17","volume-title":"M\u00e9thodes d'Analyse des R\u00e9seaux de Petri, R\u00e9seaux \u00e0 Files et Application aux Syst\u00e8mes Temps-R\u00e9el","author":"G. Memmi","year":"1983","unstructured":"[Memml 83] G. Memmi. \"M\u00e9thodes d'Analyse des R\u00e9seaux de Petri, R\u00e9seaux \u00e0 Files et Application aux Syst\u00e8mes Temps-R\u00e9el\". Th\u00e8se de Doctorat d'Etat. Universit\u00e9 P. & M. Curie, Paris (1983)."},{"key":"15_CR18","unstructured":"[Memml & Vautherin 86] G. Memmi, J. Vautherin. \"Advanced Algebraic Techniques\". Proc. Advanced Course on Petri Nets, Bad-honnef, Germany (1985)."},{"key":"15_CR19","unstructured":"[Oberquelle 84] H. Oberquelle. \"Basic Concepts of Object-Flow Nets\" Fachbereich Informatik, Universitaet of Hamburg, Mitteilung no 122, IFI-HH-M-122\/84, (1984)."},{"issue":"1","key":"15_CR20","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1016\/0020-0190(80)90032-0","volume":"11","author":"J.L. Peterson","year":"1980","unstructured":"[Peterson 80] J.L. Peterson. \"A note on coloured Petri nets\". Information Processing Letters, vol.11, no1, pp. 40\u201343 (1980).","journal-title":"Information Processing Letters"},{"issue":"4","key":"15_CR21","first-page":"373","volume":"5","author":"J. C. Raoult","year":"1981","unstructured":"[Raoult 81] J. C. Raoult. \"Finiteness Results on Rewriting Systems\". R.A.I.R.O. Informatique Th\u00e9orique \/ Theoretical Informatics, vol. 5, no4, pp. 373\u2013391(1981).","journal-title":"R.A.I.R.O. Informatique Th\u00e9orique \/ Theoretical Informatics"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"[Relsig 84] W. Reisig. \"Petri Nets\". Springer-Verlag (1985).","DOI":"10.1007\/978-3-642-69968-9"},{"key":"15_CR23","first-page":"185","volume":"41","author":"W. Reisig","year":"1985","unstructured":"[Reisig 85] W. Reisig. \"Petri nets with individual tokens\". T.C.S. 41, pp. 185\u2013213, North-Holland Pub. Co. (1985).","journal-title":"T.C.S."},{"key":"15_CR24","unstructured":"[Schmidt & Papazoglou 85] H.W. Schmidt, M. Papazoglou. \"Abstract Modular Implementation of Processes by Predicate-Event systems\". Manuscript."},{"key":"15_CR25","unstructured":"[Sibertin-Blanc 85] C. Sibertin-Blanc. \"High level Petri nets with data structure\". Proc. of the 6th European Workshop on Applications and Theory of Petri Nets, Espoo, Finland (1985)."},{"key":"15_CR26","unstructured":"[Silva & al. 85] M. Silva, J. Martinez, P. Ladet, H. Alla. \"Generalized inverses and symbolic computation of invariants in Coloured Petri nets\". Techniques et Science Informatique, TSI, no 4, pp. 113\u2013126 (1985)."},{"issue":"4","key":"15_CR27","doi-asserted-by":"crossref","first-page":"1049","DOI":"10.1145\/322344.322352","volume":"29","author":"E.W. Stark","year":"1982","unstructured":"[Stark 82] E.W. Stark. \"Semaphore Primitive and Starvation-Free Mutual Exclusion\". Journal of ACM, vol. 29, no 4, pp. 1049\u20131072 (1982)","journal-title":"Journal of ACM"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"[Sunshine & al.] C.A. Sunshine, D.H. Thompson, R.W. Erickson, S.L. Gerhart, D. Schwabe. \"Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models\". IEEE Trans. Soft. Eng., vol. SE-8, no 5, (1982).","DOI":"10.1109\/TSE.1982.235736"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"[Vautherin 85a] J. Vautherin. \"Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs\". Proc. of the 6th European Workshop on Applications and Theory of Petri Nets, Espoo, Finland (1985).","DOI":"10.1007\/BFb0016224"},{"key":"15_CR30","unstructured":"[Vautherin 85b] J. Vautherin. \"Un mod\u00e8le alg\u00e9brique, bas\u00e9 sur les r\u00e9seaux de Petri, pour l'\u00e9tude des syst\u00e8mes parall\u00e8les\". Th\u00e8se de Doctorat d'Ing\u00e9nieur. Universit\u00e9 de Paris-Sud (1985)."},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"[Vautherin & Memmi 84] J. Vautherin, G. Memmi. \"Computation of Flows for Unary Predicates\/Transitions Nets\". Advances in Petri Nets 1984, L.N.C.S. 188, G. Rozenberg Ed., pp. 307\u2013327. Springer-Verlag (1985).","DOI":"10.1007\/3-540-15204-0_25"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1987"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18086-9_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:36:51Z","timestamp":1742589411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18086-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180869","9783540477433"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-18086-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}