{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:18:17Z","timestamp":1725895097289},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133933"},{"type":"electronic","value":"9783642697067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69706-7_58","type":"book-chapter","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T23:29:56Z","timestamp":1343518196000},"page":"344-348","source":"Crossref","is-referenced-by-count":0,"title":["Simulation Paralleler und Parallelisierter Prozesse"],"prefix":"10.1007","author":[{"given":"Hans","family":"Fuss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"58_CR1","volume-title":"Non-deterministic Interleaving and the Non-Transitivity of Concurrency in: NewsL.15, pp.11-15","author":"E Best","year":"1983","unstructured":"E Best: Non-deterministic Interleaving and the Non-Transitivity of Concurrency in: NewsL.15, pp.11-15, SIG Petri Nets and Related Syst.Models, Gl Bonn, 1983"},{"key":"58_CR2","first-page":"84","volume-title":"Net Theory and Applications. Proc. Advanced Course on General Net Theory of Processes and Systems. (Hamburg,1979) 537","year":"1980","unstructured":"W Brauer (Ed.): Net Theory and Applications. Proc. Advanced Course on General Net Theory of Processes and Systems. (Hamburg,1979) 537 p. LNCS 84 Springer 1980"},{"key":"58_CR3","doi-asserted-by":"crossref","unstructured":"H Fuss: P-T-Netze zur Simulation von asynchronen Fl\u00fcssen. in: Goos\/Hartmanis (Eds.) GI-4.J-Tagung, pp.326-335. LNCS Vol.26, Springer (1975)","DOI":"10.1007\/3-540-07141-5_235"},{"key":"58_CR4","first-page":"127","volume-title":"S. Berichte der GMD No.100. GMD","author":"H Fuss","year":"1975","unstructured":"H Fuss: AFMG \u2014 Ein asynchroner Fluss-Modell-Generator. 127 S. Berichte der GMD No.100. GMD (1975)"},{"key":"58_CR5","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-69208-6_34","volume-title":"Adequate Modeling of Systems. (Proceedings)","author":"H Fuss","year":"1983","unstructured":"H Fuss: Reversal Simulation with Place-Transactor-Nets in: H.Wedde (Ed.): Adequate Modeling of Systems. (Proceedings) pp.222-232, Springer (1983)"},{"key":"58_CR6","first-page":"323","volume-title":"Proc. 1.Europ.Simul.Congr. Inf.Fa.Ber.71","author":"H Fuss","year":"1983","unstructured":"H Fuss: Simulation of Distrib.Systems - A Competitive 3-Body Case Study, in: W.Ameling(Ed.): Proc. 1.Europ.Simul.Congr. Inf.Fa.Ber.71, pp.323-328:Springer 1983"},{"key":"58_CR7","first-page":"159","volume-title":"IEEE Comp.Soc.Press(506)","author":"H Fuss","year":"1983","unstructured":"H Fuss: Petri Net Languages for Automation of Distrib. Systems and Processes. in: IEEE Comp.Soc.Press(506), pp. 159 - 162. IEEE Silver Spring, USA (1983)"},{"key":"58_CR8","volume-title":"A Pagnoni\/G Rozenberg (Eds.): Application and Theory of Petri Nets. Informat.Fach-Ber.66, pp.166-180. Springer","author":"K Jensen","year":"1983","unstructured":"K Jensen: High Level Petri Nets, in: A Pagnoni\/G Rozenberg (Eds.): Application and Theory of Petri Nets. Informat.Fach-Ber.66, pp.166-180. Springer (1983)"},{"key":"58_CR9","first-page":"155","volume-title":"Proc. Nat.Electron.Conf., Vol.32","author":"W Krelle","year":"1978","unstructured":"W Krelle, D Beckerhoff, H Langer, H Fuss: Ein Prognosesystem f\u00fcr die wirtschafte Entwicklung der BRD. 355 S. Verlag A.Hain, Meisenheim (1969) [No] J.D.Noe: Hierarchical Modelling with Pro-Nets. in: WH Tranter (Ed.): Proc. Nat.Electron.Conf., Vol.32, pp.155-160, Nat.Eng.Consort.Inc. Chicago, 1978"},{"key":"58_CR10","first-page":"435","volume-title":"Measuring, Modelling and Evaluating Computer Systems","author":"CA Petri","year":"1977","unstructured":"CA Petri: Modelling as a Communication Discipline. in: Beilner\/Gelenbe(Eds): Measuring, Modelling and Evaluating Computer Systems, pp.435-449. N.Holl. 1977"},{"key":"58_CR11","first-page":"63","volume-title":"Ans\u00e4tze zur Organisations Theorie Rechnergest\u00fctzter Inf.Syst","author":"CA Petri","year":"1979","unstructured":"CA Petri: Kommunikationsdisziplinen, in: CA Petri (Ed.): Ans\u00e4tze zur Organisations Theorie Rechnergest\u00fctzter Inf.Syst., pp.63-75 Ber. d. GMD 111. Oldenbourg 1979"},{"key":"58_CR12","first-page":"81","volume-title":"\u00dcber einige Anwendungen der Netztheorie. GI-9.Jahrestagung. Informatik-Fach-Berichte No.19","author":"CA Petri","year":"1979","unstructured":"CA Petri: \u00dcber einige Anwendungen der Netztheorie. GI-9.Jahrestagung. Informatik-Fach-Berichte No.19, pp.81-87 Springer (1979)"},{"key":"58_CR13","unstructured":"W.Reisig: Petrinetze. Eine Einf\u00fchrung. 158 S., 111 Abb., Springer (1982) [R\/W] B.Rosenstengel\/U.Winand: Petri-Netze, eine anwendungsorientierte Einf\u00fchrung. 269 S. Vieweg and Sohn (1982)"},{"issue":"1","key":"58_CR14","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0022-0000(83)90029-6","volume":"27","author":"P Starke","year":"1983","unstructured":"P Starke: Petri Netze. 184 S. VEB Deut.Verlag d.Wissenschaften Berlin 1980 [S\/M] I.Suzuki\/T.Murata: A Method of Stepwise Refinement and Abstraction of Petri Nets. J. Comput. and Syst.Sciences Vol.27(1) pp. 51 \u2013 76. Acad.Press 1983","journal-title":"J. Comput and Syst. Sciences"},{"key":"58_CR15","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/3-540-08860-1_35","volume-title":"Automata, Languages and Progr., LNCS Vol.62","author":"R Valk","year":"1978","unstructured":"R Valk: Self-Modifying Nets, a Natural Extension of Petri Nets, in: Ausiello\/ B\u00f6hm (Eds.) Automata, Languages and Progr., LNCS Vol.62, pp.464-476. Springer 1978"},{"key":"58_CR16","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1109\/TSE.1980.234502","volume":"6","author":"K Voss","year":"1980","unstructured":"K Voss: Using Predicate\/Transition-Nets to Model and Analyze Distrib. DataB. Systems. Transact. on Softw. Engin., Vol.Se-6, pp.539-544. IEEE 1980","journal-title":"DataB. Systems. Transact. on Softw. Engin"},{"key":"58_CR17","first-page":"173","volume-title":"Evolutionary Information Systems","author":"K Voss","year":"1982","unstructured":"K Voss: Nets as a consistent formal tool for the stepwise design and verification of a distributed system. in: J.Hawgood (Ed.): Evolutionary Information Systems, pp. 173 \u2013 191: North Holland Publ.Co., (1982)"}],"container-title":["Simulationstechnik"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69706-7_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:53:31Z","timestamp":1606258411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69706-7_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133933","9783642697067"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69706-7_58","relation":{},"subject":[],"published":{"date-parts":[[1984]]}}}