{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:40:52Z","timestamp":1725543652875},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346999"},{"type":"electronic","value":"9783540347002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_26","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"431-440","source":"Crossref","is-referenced-by-count":16,"title":["The BRITNeY Suite Animation Tool"],"prefix":"10.1007","author":[{"given":"Michael","family":"Westergaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristian Bisgaard","family":"Lassen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J. Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1145\/1013115.1013157","volume-title":"DIS 2004: Proc. of the 2004 conference on Designing interactive systems","author":"C. Bossen","year":"2004","unstructured":"Bossen, C., J\u00f8rgensen, J.B.: Context-descriptive prototypes and their application to medicine administration. In: DIS 2004: Proc. of the 2004 conference on Designing interactive systems, Boston, MA, USA, pp. 297\u2013306. ACM Press, New York (2004)"},{"key":"26_CR3","unstructured":"CPN Tools, Online: \n                    \n                      www.daimi.au.dk\/CPNTools\/"},{"key":"26_CR4","unstructured":"Design\/CPN, Online: \n                    \n                      www.daimi.au.dk\/designCPN\/"},{"key":"26_CR5","unstructured":"Gallasch, G., Kristensen, L.M.: A Communication Infrastructure for External Communication with Design\/CPN. In: Proc. of Third CPN Workshop, DAIMI, vol.\u00a0PB-554, pp. 79\u201393 (2001)"},{"key":"26_CR6","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"26_CR7","volume-title":"Coloured Petri Nets\u2014Basic Concepts, Analysis Methods and Practical Use. Basic Concepts","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets\u2014Basic Concepts, Analysis Methods and Practical Use. Basic Concepts, vol.\u00a01. Springer, Heidelberg (1992)"},{"key":"26_CR8","unstructured":"J\u00f8rgensen, J.B., Lassen, K.B.: Aligning Work Processes and the Adviser Portal Bank System. In: REBNITA 2005 (2005)"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-540-27793-4_27","volume-title":"Applications and Theory of Petri Nets 2004","author":"E. Kindler","year":"2004","unstructured":"Kindler, E., P\u00e1les, C.: 3D-Visualization of Petri Net Models: Concept and Realization. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 464\u2013473. Springer, Heidelberg (2004)"},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-27863-4_15","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"L.M. Kristensen","year":"2004","unstructured":"Kristensen, L.M., Jensen, K.: Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 248\u2013269. Springer, Heidelberg (2004)"},{"key":"26_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11589976_16","volume-title":"Integrated Formal Methods","author":"L.M. Kristensen","year":"2005","unstructured":"Kristensen, L.M., Westergaard, M., N\u00f8rgaard, P.C.: Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol.\u00a03771, pp. 266\u2013286. Springer, Heidelberg (2005)"},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-48068-4_18","volume-title":"Application and Theory of Petri Nets 2002","author":"L. Lorentsen","year":"2002","unstructured":"Lorentsen, L., Tuovinen, A.-P., Xu, J.: Modelling Features and Feature Interactions of Nokia Mobile Phones Using Coloured Petri Nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 294\u2013313. Springer, Heidelberg (2002)"},{"key":"26_CR13","unstructured":"Machado, R.J., Lassen, K.B., Oliveira, S., Couto, M., Pinto, P.: Execution of UML Models with CPN Tools for Workflow Requirements Validation. In: Proc. of Sixth CPN Workshop, DAIMI, vol.\u00a0PB-576, pp. 231\u2013250 (2005)"},{"key":"26_CR14","volume-title":"Concurrency \u2013 State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency \u2013 State Models and Java Programs. John Wiley & Sons, Chichester (1999)"},{"key":"26_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44685-0_2","volume-title":"CONCUR 2001 - Concurrency Theory","author":"R. Milner","year":"2001","unstructured":"Milner, R.: Bigraphical Reactive Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 16\u201335. Springer, Heidelberg (2001)"},{"key":"26_CR16","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Milner, R., Harper, R., Tofte, M.: The Definition of Standard ML. MIT Press, Cambridge (1990)"},{"issue":"1","key":"26_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"26_CR18","unstructured":"Rasmussen, J.L., Singh, M.: Mimic\/CPN. A Graphical Simulation Utility for Design\/CPN. User\u2019s Manual, \n                    \n                      http:\/\/www.daimi.au.dk\/designCPN"},{"key":"26_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1007\/3-540-61363-3_22","volume-title":"Application and Theory of Petri Nets 1996","author":"J.L. Rasmussen","year":"1996","unstructured":"Rasmussen, J.L., Singh, M.: Designing a Security System by Means of Coloured Petri Nets. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol.\u00a01091, pp. 400\u2013419. Springer, Heidelberg (1996)"},{"key":"26_CR20","unstructured":"SceneBeans, Online: \n                    \n                      http:\/\/www-dse.doc.ic.ac.uk\/Software\/SceneBeans"},{"key":"26_CR21","unstructured":"The\u00a0ExSpect tool, \n                    \n                      http:\/\/www.exspect.com"},{"key":"26_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-40022-6_6","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M. Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The Petri Net Kernel. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 109\u2013123. Springer, Heidelberg (2003)"},{"key":"26_CR23","unstructured":"Westergaard, M.: BRITNeY suite website, Online: \n                    \n                      http:\/\/wiki.daimi.au.dk\/tincpn\/"},{"key":"26_CR24","unstructured":"Westergaard, M., Lassen, K.B.: Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY animation and CPN Tools. In: Proc. of Sixth CPN Workshop, DAIMI, vol.\u00a0PB-576, pp. 119\u2013136 (2005)"},{"key":"26_CR25","unstructured":"Winer, D.: XML-RPC Specification, \n                    \n                      http:\/\/www.xmlrpc.org\/spec"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:28Z","timestamp":1619507488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11767589_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}