{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:19:54Z","timestamp":1725743994003},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642404641"},{"type":"electronic","value":"9783642404658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40465-8_10","type":"book-chapter","created":{"date-parts":[[2013,8,4]],"date-time":"2013-08-04T20:58:46Z","timestamp":1375649926000},"page":"180-202","source":"Crossref","is-referenced-by-count":1,"title":["Grade\/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching"],"prefix":"10.1007","author":[{"given":"Michael","family":"Westergaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Fahland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Stahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets \u2013 Modelling and Validation of Concurrent Systems. Springer (2009)","DOI":"10.1007\/b95112"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes \u2013 A Petri Net-Oriented Approach. MIT Press (2011)","DOI":"10.7551\/mitpress\/8811.001.0001"},{"key":"10_CR3","unstructured":"Online: CPN Tools webpage, \n                  \n                    http:\/\/cpntools.org"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-642-02424-5_19","volume-title":"Applications and Theory of Petri Nets","author":"M. Westergaard","year":"2009","unstructured":"Westergaard, M., Kristensen, L.M.: The Access\/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol.\u00a05606, pp. 313\u2013322. Springer, Heidelberg (2009)"},{"key":"10_CR5","unstructured":"Westergaard, M., Fahland, D., Stahl, C.: Grade\/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. In: Proc. of PNSE. CEUR Workshop Proceedings, vol.\u00a0851, pp. 32\u201346. CEUR-WS.org (2012)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-642-02424-5_18","volume-title":"Applications and Theory of Petri Nets","author":"M. Westergaard","year":"2009","unstructured":"Westergaard, M., Evangelista, S., Kristensen, L.M.: ASAP: An Extensible Platform for State Space Analysis. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol.\u00a05606, pp. 303\u2013312. Springer, Heidelberg (2009)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proc. of SFCS 1977, pp. 46\u201357. IEEE Comp. Soc. (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S.A. Kripke","year":"1963","unstructured":"Kripke, S.A.: A semantical analysis of modal logic: I. Normal modal propositional calculi. Zeitschrift f\u016dr Mathematische Logic und Grundlagen der Mathematik\u00a09, 67\u201396 (1963)","journal-title":"Zeitschrift f\u016dr Mathematische Logic und Grundlagen der Mathematik"},{"key":"10_CR9","unstructured":"Plotkin, G.: A Structural Approach to Operational Semantics. DAIMI-FN\u00a019, Department of Computer Science, University of Aarhus (1981)"},{"key":"10_CR10","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-Based Verification of Temporal Properties on Running Programs. In: Proc. ASE, pp. 412\u2013416. IEEE Computer Society (2001)"},{"key":"10_CR11","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers (2006)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Simulated satisfaction of coverage criteria on uml state machines. In: ICST 2012, pp. 117\u2013126 (2010)","DOI":"10.1109\/ICST.2010.28"},{"issue":"3","key":"10_CR13","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1093\/logcom\/exn075","volume":"20","author":"A. Bauer","year":"2010","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL Semantics for Runtime Verification. Logic and Computation\u00a020(3), 651\u2013674 (2010)","journal-title":"Logic and Computation"},{"key":"10_CR14","unstructured":"Online: JUnit webpage, \n                  \n                    http:\/\/junit.org"},{"key":"10_CR15","unstructured":"Online: Jenkins Continuous Integration webpage, \n                  \n                    http:\/\/jenkins-ci.org"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Ihantola, P., Ahoniemi, T., Karavirta, V., Sepp\u00e4l\u00e4, O.: Review of Recent Systems for Automatic Assessment of Programming Assignments. In: Proc. International Conference on Computing Education Research, pp. 86\u201393. ACM (2010)","DOI":"10.1145\/1930464.1930480"},{"key":"10_CR17","first-page":"192","volume":"2","author":"T. Verhoeff","year":"2008","unstructured":"Verhoeff, T.: Programming Task Packages: Peach Exchange Format. Olympiads in Informnatics\u00a02, 192\u2013207 (2008)","journal-title":"Olympiads in Informnatics"},{"issue":"1","key":"10_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Form. Methods Syst. Des.\u00a019(1), 45\u201380 (2001)","journal-title":"Form. Methods Syst. Des."},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"E. Clarke","year":"2003","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking. J. ACM\u00a050, 752\u2013794 (2003)","journal-title":"J. ACM"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-45139-0_5","volume-title":"Model Checking Software","author":"S. Edelkamp","year":"2001","unstructured":"Edelkamp, S., Lluch Lafuente, A., Leue, S.: Directed Explicit Model Checking with HFS-SPIN. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 57\u201379. Springer, Heidelberg (2001)"},{"key":"10_CR21","unstructured":"ISO\/IEC: Software and system engineering \u2013 High-level Petri nets \u2013 Part 2: Transfer format. ISO\/IEC 15909-2:2011"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40465-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T05:51:04Z","timestamp":1557985864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40465-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642404641","9783642404658"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40465-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}