{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:05Z","timestamp":1725663185138},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:17:21Z","timestamp":1330175841000},"page":"307-330","source":"Crossref","is-referenced-by-count":10,"title":["Stepwise construction of non-sequential software systems using a net-based specification language"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Kr\u00e4mer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61807-9","volume-title":"Algorithmic language and program development","author":"F. L. Bauer","year":"1982","unstructured":"Bauer, F.L. and W\u00f6ssner, H., \u201cAlgorithmic language and program development\u201d, Springer-Verlag Berlin, Heidelberg, New York (1982)"},{"key":"18_CR2","unstructured":"Bayer, M., B\u00f6hringer, B., Dehottay, J.P., Feuerhahn, H., Jasper, J., Koster, C.H.A. and Schmiedecke, U., Software Development in the CDL2 Laboratory, in \u201cSoftware Engineering Environments\u201d, H\u00fcnke, H. (Ed.), North-Holland Publishing Company, ISBN 3-444-86133-5 (1981), 97\u2013118"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09723-6","volume-title":"Architecture of Distributed Computer Systems","author":"G. Bochmann v.","year":"1979","unstructured":"Bochmann, G. v., \u201cArchitecture of Distributed Computer Systems\u201d, Lecture Notes in Computer Science 77, Springer-Verlag Berlin, Heidelberg, New York, ISBN 3-540-09723-6 (1979)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Net Theory and Applications","year":"1980","unstructured":"Brauer, W. (Ed.), \u201cNet Theory and Applications\u201d, Lecture Notes in Computer Science 84, Springer-Verlag Berlin, Heidelberg, New York, ISBN 3-540-10001-6 (1980)"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"1979 Copenhagen Winter School on Abstract Software Specification Proceedings","author":"R. Burstall","year":"1980","unstructured":"Burstall, R. and Goguen, J.R., The semantics of Clear, a Specification Language, in \u201c1979 Copenhagen Winter School on Abstract Software Specification Proceedings\u201d, Lecture Notes in Computer Science 86, Bj\u00f8rner, D. (Ed.), Springer-Verlag Berlin, Heidelberg, New York, ISBN 3-540-10007-5 (1980), 292\u2013332"},{"key":"18_CR6","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"Clocksin, W.F. and Mellish, C.S., \u201cProgramming in Prolog\u201d, Springer-Verlag Berlin, Heidelberg, New York, ISBN 3-540-11046-1 (1981)"},{"key":"18_CR7","unstructured":"Diaz, M., Modelling and Analysis of Communication and Cooperation Protocols using Petri Net Based Models, in \u201cProtocol Specification, Testing and Verification\u201d, Sunshine, C. (Ed.), North-Holland Publishing Company, ISBN 0444-864814 (1982), 465\u2013510"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski H.-J., Mahr, B. and Padawitz, P., Algebraic Implementation of Abstract Data Types, Theoretical Computer Science 20,3, North-Holland Publishing Company (1982), 209\u2013264","DOI":"10.1016\/S0304-3975(82)80001-7"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/3-540-10003-2_68","volume-title":"Automata, Languages and Programming","author":"H. Ehrig","year":"1980","unstructured":"Ehrig, H., Kreowski, H.-J., Thatcher, J.W., Wagner, E.G., and Wright, J.B., Parameterized data types in algebraic languages, in \u201cAutomata, Languages and Programming\u201d, Seventh Colloquium, Noordwijkerhout, the Netherlands, de Bakker J.W. and van Leeuwen, J. (Eds.), Lecture Notes in Computer Science 85, Springer-Verlag Berlin, Heidelberg, New York, ISBN 3-540-10003-2 (1980), 157\u2013168"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Extended simple regular expressions","author":"H. J. Genrich","year":"1975","unstructured":"Genrich, H.J., Extended simple regular expressions, in Lecture Notes in Computer Science 32, Be\u010dv\u00e1\u0159, J. (Ed.), Springer-Verlag Berlin, Heidelberg, New York (1975)"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Genrich, H.J. and Lautenbach, K., System modelling with high-level Petri nets, Theoretical Computer Science 13,1, North-Holland Publishing Company (1981), 109\u2013136","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"18_CR12","series-title":"Informatik-Fachberichte","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-3-642-69028-0_8","volume-title":"Applications and Theory of Petri Nets","author":"H. J. Genrich","year":"1983","unstructured":"Genrich, H.J. and Lautenbach, K., S-Invariance in Predicate-Transition Nets, in \u201cApplications and Theory of Petri Nets\u201d, Informatik-Fachberichte 66, Pagnoni, A. and Rozenberg, G. (Eds.), Springer-Verlag Berlin, Heidelberg, New York, Tokyo, ISBN 3-540-12309-1 (1983), 98\u2013111"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-10001-6_22","volume-title":"Net Theory and Applications","author":"H. J. Genrich","year":"1980","unstructured":"Genrich, H.J., Lautenbach, K. and Thiagarajan, P.S., Elements of General Net Theory, in [4], \u201c 21\u201338, 93\u2013105"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/3-540-10001-6_39","volume-title":"Net Theory and Applications","author":"H. J. Genrich","year":"1980","unstructured":"Genrich, H.J. and Stankiewics-Wiechno, E., A Dictionary of some Basic Notions of Net Theory, in [4], \u201c 519\u2013535"},{"issue":"5","key":"18_CR15","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/1006258.1006273","volume":"7","author":"J. Goguen","year":"1982","unstructured":"Goguen, J. and Meseguer J., Rapid Prototyping in the OBJ Executable Specification Language, ACM SIGSOFT Software Engineering Notes 7, No 5 (December 1982), 75\u201384","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"18_CR16","first-page":"80","volume-title":"\u201cCurrent Trends in Programming Methodology\u201d, Volume IV, Data Structuring","author":"J. Goguen","year":"1978","unstructured":"Goguen, J., Thatcher, J.W. and Wagner, E.G., An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, in \u201cCurrent Trends in Programming Methodology\u201d, Volume IV, Data Structuring, Yeh, R.T. (Ed.), Prentice-Hall, Englewood Cliffs, New Jersey, ISBN 0-13-195735-X (1978), 80\u2013149"},{"key":"18_CR17","volume-title":"\u201cEntwurf gro\u00dfer Software-Systeme\u201d, Berichte des German Chapte of the ACM","author":"B. Kr\u00e4mer","year":"1984","unstructured":"Kr\u00e4mer, B., Formal and Semi-Graphic Specification of Non-Sequential Software Systems, to appear in \u201cEntwurf gro\u00dfer Software-Systeme\u201d, Berichte des German Chapte of the ACM, Remmele, W. (Ed.), B.G. Teubner, Stuttgart (1984)"},{"key":"18_CR18","unstructured":"Kr\u00e4mer, B., Nieters, H.H., Schmidt, H.W., Bayer, M., Dehottay, J.P., and Singer, K., A Syntax Directed Editor for a Semi-Graphic Language to Specifying Non-sequential Systems in \u201cImplementierung von Programmiersprachen\u201d, Tagungsunterlage zum GI-Fachgespr\u00e4ch, 7. M\u00e4rz, Z\u00fcrich, Ganzinger, H. (Ed.) (1984), 21\u201340"},{"key":"18_CR19","first-page":"156","volume-title":"Adequate Modeling of Systems","author":"B. Kr\u00e4mer","year":"1982","unstructured":"Kr\u00e4mer, B. and Schmidt, H.W., A High Level Net Language for Modeling Organisational Systems, in \u201cAdequate Modeling of Systems\u201d, Proceedings of the International Working Conference on Model Realism, Bad Honnef, FRG Wedde, H. (Ed.), Springer-Verlag Berlin, Heidelberg, New York, ISBN 3-540-12567-1 (1982), 156\u2013170"},{"issue":"2","key":"18_CR20","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"Lamport, L., Specifying Concurrent Program Modules, ACM Transactions on Programming Languages 5, 2 (April 1983), 190\u2013222","journal-title":"ACM Transactions on Programming Languages"},{"issue":"12","key":"18_CR21","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/988164.988172","volume":"17","author":"B. J. MacLennan","year":"1982","unstructured":"MacLennan, B.J., Values and Objects in Programming Languages, SIGPLAN Notices, 17, 12 (December 1982), 70\u201379","journal-title":"SIGPLAN Notices"},{"key":"18_CR22","unstructured":"Musser, D.R., Abstract Data Type Specification in the Affirm System, in \u201cProceedings on Specifications of Reliable Software\u201d, IEEE Catalog No 79 (1979), 47\u201357"},{"key":"18_CR23","unstructured":"Petri, C.A., General Net Theory, in \u201cProceedings of the Joint IBM University of Newcastle upon Tyne Seminar\u201d, Shaw, B. (Ed.) (1976), 130\u2013169"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"International Symposium on Programming","author":"J. P. Queille","year":"1982","unstructured":"Queille, J.P. and Sifakis, J., Specification and Verification of Concurrent Systems in CESAR, in \u201cInternational Symposium on Programming\u201d, Fifth Colloquium, Turin, Italy, Dezani-Ciancaglini, M. and Montanari, U. (Eds.), Lecture Notes in Computer Science 137, Springer-Verlag Berlin, Heidelberg, New York, ISBN 3-540-11494-7 (1982), 337\u2013351"},{"key":"18_CR25","unstructured":"Schmidt, H.W., Towards a Net-Theoretic Notion of Type based on Predicate-Transition Nets, in \u201cPapers presented at the 5th European Workshop on Applications and Theory of Petri Nets\u201d, Aarhus, Denmark (1984), 330\u2013345"},{"key":"18_CR26","unstructured":"Schmidt, H.W. and Kreowski H.-J., Conditional Specification in the Presence of Tests and Multi-Valued Symbols, Arbeitsberichte der GMD 74 (1983)"},{"issue":"5","key":"18_CR27","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1109\/TSE.1982.235736","volume":"SE-8","author":"C. A. Sunshine","year":"1982","unstructured":"Sunshine, C.A., Thompson, D.H., Erickson, R.W., Gerhardt, S.L., and Schwabe, D., Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models, in IEEE Transactions On Software Engineering, SE-8,5 (1982), 460\u2013489","journal-title":"IEEE Transactions On Software Engineering"},{"key":"18_CR28","unstructured":"Schwartz, R.L. and Melliar-Smith, P.M., Temporal Logic Specification of Distributed Systems, in \u201cProceedings of The 2nd International Conference on Distributed Computing Systems\u201d, Paris, France, IEEE Catalog No. 81CH1591-7 (1981), 446\u2013454"},{"issue":"4","key":"18_CR29","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J. W. Thatcher","year":"1982","unstructured":"Thatcher, J.W., Wagner, E.G., and Wright, J.B., Data Type Specification: Parameterization and the Power of Specification Techniques, ACM Transactions on Programming Languages and Systems, 4,4 (1982), 711\u2013732","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:15Z","timestamp":1605625695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}