{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:57Z","timestamp":1725663297130},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505808"},{"type":"electronic","value":"9783540460596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50580-6_28","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:28:25Z","timestamp":1330201705000},"page":"154-174","source":"Crossref","is-referenced-by-count":2,"title":["Programming a closely coupled multiprocessor system with high level petri nets"],"prefix":"10.1007","author":[{"given":"Georg","family":"Hartung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1002\/spe.4380120804","volume":"12","author":"G.R. Andrews","year":"1982","unstructured":"Andrews, G.R.: \u2018The Distributed Language SR \u2014 Mechanisms, Design and Implementation', Software \u2014 Practice and Experience Vol. 12 pp. 719\u2013753, 1982","journal-title":"Software \u2014 Practice and Experience"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/356901.356902","volume":"15","author":"G.R. Andrews","year":"1983","unstructured":"Andrews, G.R.; Schneider, F.B.: \u2018Concepts and Notations for Concurrent Programming'. ACM Computing Surveys Vol. 15, pp. 1\u201343, 1983","journal-title":"ACM Computing Surveys"},{"key":"8_CR3","unstructured":"Bigou, J. M.; Courvoisier; M.; Demmou, H.; Desclaux, C.; Pascal, J.C.; Valette, R.: \u2018A Methodology of Specification and Implementation of distributed discrete Control Systems', IEEE Proc. IECON 85 San Francisco pp.231\u2013236, IEEE, 1985"},{"key":"8_CR4","first-page":"3","volume":"16","author":"W. Brauer","year":"1984","unstructured":"Brauer, W.: \u2018How to play the Token Game', Petri Net Newsletter 16 pp. 3\u201313, GI, 1984","journal-title":"Petri Net Newsletter"},{"key":"8_CR5","volume-title":"Operating System Principles","author":"P. Brinch Hansen","year":"1973","unstructured":"Brinch Hansen, P.: \u2018Operating System Principles', Prentice Hall Inc., Englewood Cliffs, N.J., USA, 1973"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Brinch Hansen, P.: \u2018The Programming Language Concurrent Pascal', IEEE Transactions on Software Engineering Vol. 1 No.2, 1975","DOI":"10.1109\/TSE.1975.6312840"},{"key":"8_CR7","first-page":"139","volume":"6","author":"P. Brinch Hansen","year":"1976","unstructured":"Brinch Hansen, P.: \u2018The Solo Operating System', Software \u2014 Praxis and Experience, Vol.6 pp.139\u2013200, 1976","journal-title":"Software \u2014 Praxis and Experience"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Bruno, G.; Marchetto, G.: \u2018Process translatable Petri Nets for the Rapid Prototyping of Process Control Systems', IEEE Transactions on Software Engineering SE-12 pp. 346\u2013357, 1986","DOI":"10.1109\/TSE.1986.6312948"},{"key":"8_CR9","unstructured":"Colom, J.M.; Silva, M.; Villaroel, J.L.: \u2018On software implementation of Petri nets and coloured Petri nets using high level concurrent languages', Proc. 7. European Workshop on Application and Theory of Petri Nets, pp. 207\u2013241, Oxford 1986"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Dahmen, N.: \u2018FORCASD \u2014 An Evaluation Net Oriented Program System for Modelling and Simulation', IFB 71 Proceedings 1. European Simulation Congress ESC 83, 1983","DOI":"10.1007\/978-3-642-69295-6_35"},{"key":"8_CR11","unstructured":"United States Department of Defense: \u2018The Programming Language Ada Reference Manual', LNCS 106, Springer Verlag, 1981"},{"key":"8_CR12","unstructured":"Hartung, G.; Milde, J.: \u2018Organisation eines M5PS-Teilsystems', Angewandte Informatik 87 8\/9 pp. 328\u2013340, Vieweg Verlag (in German)"},{"key":"8_CR13","unstructured":"Hartung, G.: \u2018Programmierung einer Klasse von Multiprozessorsystemen mit hoeheren Petri-Netzen', Ph.D. thesis, Aachen Technical University A. Huethig Verlag Heidelberg 1988"},{"key":"8_CR14","unstructured":"Heinrich, A.; Ameling, W.: \u2018Parallelrechner mit hoeheren Petri-Netzen programmieren', VMEbus 2.1 pp.28\u201332, Franzis Verlag Muenchen"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Jensen, K.: \u2018High Level Petri Nets', Applications and Theory of Petri Nets, IFB 66 pp. 166\u2013180, Springer Verlag 1982","DOI":"10.1007\/978-3-642-69028-0_12"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Le Mer, E.: \u2018MEDOC: A Methodology for Designing and Evaluating large-scale Real-time Systems', Proc. National Computer Conference 1982 pp.263\u2013271, IEEE","DOI":"10.1145\/1500774.1500806"},{"key":"8_CR17","unstructured":"Milde, J.; Krings, L.; Ameling, W.: \u2018Realization of synchronization tools and their efficiency in the multiprocessorsystem M5PS', 10th IMACS world congress, Montreal 1982, pp. 333\u2013335"},{"key":"8_CR18","unstructured":"Milde, J.: \u2018Ueberlegungen zur Organisation verteilter Mehrrechnersysteme', Ph.D.thesis, Aachen Technical University, A.Huethig Verlag Heidelberg 1988(in German)"},{"key":"8_CR19","volume-title":"Common Class \u2014 a tool for programming the access to shared data","author":"P. Moeller-Nielsen","year":"1983","unstructured":"Moeller-Nielsen, P.; Staunstrup, J.: \u2018Common Class \u2014 a tool for programming the access to shared data', Interner Bericht, Comp. Science Department, Aarhus University, Aarhus, Denmark, 1983"},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1109\/TSE.1983.235118","volume":"9","author":"R.A. Nelson","year":"1983","unstructured":"Nelson, R.A.; Haibt, L.M.; Sheridan, P.B.: \u2018Casting Petri Nets into Programs', IEEE Transactions on Software Engineering SE 9 pp. 590\u2013602, IEEE 1983","journal-title":"IEEE Transactions on Software Engineering SE"},{"key":"8_CR21","first-page":"29","volume":"21","author":"G. Richter","year":"1985","unstructured":"Richter, G.: \u2018A note on side-conditions and inhibitor arcs', Petri net newsletter 21 pp.29\u201337, 1985","journal-title":"Petri net newsletter"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Vautherin,J.: \u2018Parallel System Specifications with coloured Petri nets and algebraic abstract data types', 7. European Workshop on Application and Theory of Petri nets, Oxford, England, 1986","DOI":"10.1007\/3-540-18086-9_31"},{"key":"8_CR23","unstructured":"Winkler, P.: \u2018Anforderungsbeschreibung mit Netzmodellen', Automatisierungstechnische Praxis (ATP) vol. 28 No. 1 pp.32\u201339 and No. 2, pp. 94\u201398, 1986 (in German)"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1988"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50580-6_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:38:05Z","timestamp":1640918285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}