{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:53:26Z","timestamp":1742968406558,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540922940"},{"type":"electronic","value":"9783540922957"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92295-7_26","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T08:00:00Z","timestamp":1237968000000},"page":"206-211","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation"],"prefix":"10.1007","author":[{"given":"Elhillali","family":"Kerkouche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"AGG Home page, http:\/\/tfs.cs.tu-berlin.de\/agg\/"},{"key":"26_CR2","unstructured":"AToM3 Home page, version 3.00, http:\/\/atom3.cs.mcgill.ca\/"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-24721-0_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Bardohl","year":"2004","unstructured":"Bardohl, R., Ehrig, H., De Lara, J., Taentzer, G.: Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 214\u2013228. Springer, Heidelberg (2004)"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/s10270-003-0047-5","volume":"3","author":"J. Lara De","year":"2004","unstructured":"De Lara, J., Vangheluwe, H.: Meta-Modelling and Graph Grammars for Multi-Paradigm Modelling in AToM3. Manuel Alfonseca, Software and Systems Modelling\u00a03, 194\u2013209 (2004); Special Section on Graph Transformations and Visual Modeling Techniques","journal-title":"Manuel Alfonseca, Software and Systems Modelling"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Deng, Y., Chang, S.K., De Figueired, J.C.A., Psrkusich, A.: Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. In: Proceeding of The 14th International Conference on Application and Theory of Petri Nets, Chicago, June 21-25, pp. 206\u2013223 (1993)","DOI":"10.1007\/3-540-56863-8_48"},{"key":"26_CR6","unstructured":"DOME Home page, Honeywell Technology Center. Honeywell, version 5.2.1 (1999), http:\/\/www.htc.honeywell.com\/dome\/"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/3-540-63107-0_15","volume-title":"Advanced Information Systems Engineering","author":"J. Ebert","year":"1997","unstructured":"Ebert, J., Sttenbach, R., Uhe, I.: Meta-CASE in Practice: a Case for KOGGE. In: Oliv\u00e9, \u00c0., Pastor, J.A. (eds.) CAiSE 1997. LNCS, vol.\u00a01250, pp. 203\u2013216. Springer, Heidelberg (1997), KOGGE Home page, http:\/\/www.uni-koblenz.de\/_ist\/kogge.en.html"},{"key":"26_CR8","unstructured":"GRACE Home page, http:\/\/www.informatik.uni-bremen.de\/theorie\/GRACEland\/GRACEland.html"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61292-0_1","volume-title":"Advanced Information Systems Engineering","author":"S. Kelly","year":"1996","unstructured":"Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+: A fully configurable Multi-User and Multi-Tool CASE and CAME Environment. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol.\u00a01080. Springer, Heidelberg (1996), MetaEdit+ Home page, http:\/\/www.MetaCase.com"},{"key":"26_CR10","unstructured":"PROD Home page, version 3.4.01, http:\/\/www.tcs.hut.fi\/Software\/prod\/"},{"key":"26_CR11","unstructured":"PROGRES Home page, http:\/\/www-i3.informatik.rwth-aachen.de\/research\/projects\/progres\/main"},{"key":"26_CR12","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"G. Rozenberg","year":"1999","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01. World Scientific, Singapore (1999)"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Sztipanovits, J., Karsai, G., Biegl, C., Bapty, T., Ledeczi, A., Misra, A.: MULTIGRAPH: An architecture for model-integrated computing. In: ICECCS 1995, Ft. Lauderdale, Lorida, pp. 361\u2013368 (1995)","DOI":"10.1109\/ICECCS.1995.479359"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Networking"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92295-7_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T17:26:11Z","timestamp":1739035571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92295-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540922940","9783540922957"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92295-7_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}