{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:37Z","timestamp":1725566137181},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159275"},{"type":"electronic","value":"9783642159282"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15928-2_32","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T14:32:34Z","timestamp":1284993154000},"page":"400-402","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems"],"prefix":"10.1007","author":[{"given":"Tony","family":"Modica","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Biermann, E., Ermel, C., Hermann, F., Modica, T.: A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework. In: Proc. 14th Workshop on Algorithms and Tools for Petri Nets, AWPN (2007)"},{"key":"32_CR2","unstructured":"Biermann, E., Ehrig, H., Ermel, C., Hoffmann, K., Modica, T.: Modeling Multicasting in Dynamic Communication-based Systems by Reconfigurable High-level Petri Nets. In: IEEE Symp. on Visual Languages and Human-Centric Computing, VL\/HCC (2009)"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Bruni, R., Meseguer, J., Montanari, U., Sassone, V.: Functorial semantics for petri nets under the individual token philosophy. In: Category Theory and Computer Science, CTCS 1999 (1999)","DOI":"10.1016\/S1571-0661(05)80302-0"},{"key":"32_CR4","volume-title":"EATCS Monographs","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: EATCS Monographs. Springer, Heidelberg (2006)"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11494744_16","volume-title":"Applications and Theory of Petri Nets 2005","author":"K. Hoffmann","year":"2005","unstructured":"Hoffmann, K., Mossakowski, T., Ehrig, H.: High-Level Nets with Nets and Rules as Tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 268\u2013288. Springer, Heidelberg (2005)"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Khan, A., Heckel, R., Torrini, P., R\u00e1th, I.: Model-based stochastic simulation of p2p voip using graph transformation system. In: Proc. 17th Int. Conf. Analytical and Stochastic Modeling Techniques and Applications, ASMTA (2010)","DOI":"10.1007\/978-3-642-13568-2_15"},{"key":"32_CR7","unstructured":"Modica, T., Ermel, C., Ehrig, H., Hoffmann, K., Biermann, E.: Modeling communication spaces with higher-order petri nets. In: Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice, vol.\u00a0III (to appear 2010)"},{"key":"32_CR8","unstructured":"Modica, T., Gabriel, K., Ehrig, H., Hoffmann, K., Shareef, S., Ermel, C.: Low and High-Level Petri Nets with Individual Tokens. Tech. Rep. 2009\/13, Technische Universit\u00e4t Berlin (2010)"},{"key":"32_CR9","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. Mathematical Structures in Computer Science\u00a05, 217\u2013256 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"32_CR10","unstructured":"Schmidt, K.: Symbolische Analysemethoden f\u00fcr algebraische Petri-Netze. Dissertation, Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany (1996)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15928-2_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:48Z","timestamp":1606185768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15928-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159275","9783642159282"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15928-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}