{ "labelLang" : "hun", "responseDate" : "2024-03-29 07:36", "content" : { "otype" : "Book", "mtid" : 3057502, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2017-01-19T09:54:16.000+0000", "deleted" : false, "oldId" : 3057502, "lastRefresh" : "2024-03-25T04:39:16.604+0000", "lastModified" : "2021-01-15T10:00:18.257+0000", "created" : "2016-04-28T06:25:37.000+0000", "creator" : { "otype" : "Author", "mtid" : 10046994, "link" : "/api/author/10046994", "label" : "Darvas Dániel (Informatika)", "familyName" : "Darvas", "givenName" : "Dániel", "published" : true, "oldId" : 10046994, "snippet" : true }, "lastDuplumOK" : "2021-01-15T10:00:21.424+0000", "lastDuplumSearch" : "2021-01-15T10:00:21.424+0000", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Kordon, Fabrice", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 7885004, "link" : "/api/authorship/7885004", "label" : "Kordon, Fabrice [szerk.]", "listPosition" : 1, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Kordon", "givenName" : "Fabrice", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 24169712, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 7885005, "link" : "/api/authorship/7885005", "label" : "Moldt, Daniel [szerk.]", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Moldt", "givenName" : "Daniel", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 24169711, "snippet" : true } ], "title" : "Application and Theory of Petri Nets and Concurrency", "subTitle" : "37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18298591, "link" : "/api/publicationidentifier/18298591", "label" : "DOI: 10.1007/978-3-319-39086-4", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "idValue" : "10.1007/978-3-319-39086-4", "realUrl" : "https://doi.org/10.1007/978-3-319-39086-4", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1092544, "link" : "/api/publicationidentifier/1092544", "label" : "ISBN: 9783319390864", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783319390864", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319390864", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18298590, "link" : "/api/publicationidentifier/18298590", "label" : "ISBN: 9783319390857", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783319390857", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319390857", "published" : false, "snippet" : true } ], "volumeNumber" : "9698", "seriesMembers" : [ { "otype" : "SeriesVolume", "mtid" : 47923, "link" : "/api/seriesvolume/47923", "label" : "Lecture Notes in Computer Science - Theoretical Computer Science and General Issues 0302-9743 1611-3349, 9698", "publication" : { "otype" : "Book", "mtid" : 3057502, "link" : "/api/publication/3057502", "label" : "Kordon Fabrice. Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. (2016) ISBN:9783319390864; 9783319390857", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Application and Theory of Petri Nets and Concurrency", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18298591, "link" : "/api/publicationidentifier/18298591", "label" : "DOI: 10.1007/978-3-319-39086-4", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "idValue" : "10.1007/978-3-319-39086-4", "realUrl" : "https://doi.org/10.1007/978-3-319-39086-4", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1092544, "link" : "/api/publicationidentifier/1092544", "label" : "ISBN: 9783319390864", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783319390864", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319390864", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18298590, "link" : "/api/publicationidentifier/18298590", "label" : "ISBN: 9783319390857", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783319390857", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319390857", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 15258, "link" : "/api/city/15258", "label" : "Cham, Svájc", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Svájc", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "oldId" : 10006686, "snippet" : true } ], "pageLength" : 333, "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 3057502, "snippet" : true }, "series" : { "otype" : "BookSeries", "mtid" : 20021223, "link" : "/api/bookseries/20021223", "label" : "Lecture Notes in Computer Science - Theoretical Computer Science and General Issues 0302-9743 1611-3349", "pIssn" : "0302-9743", "eIssn" : "1611-3349", "noIF" : false, "sciIndexed" : false, "scopusIndexed" : false, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "snippet" : true }, "published" : false, "snippet" : true } ], "editionNumber" : 0, "publishers" : [ { "otype" : "Publisher", "mtid" : 50952, "link" : "/api/publisher/50952", "label" : "Springer Netherlands", "name" : "Springer Netherlands", "published" : true, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 15258, "link" : "/api/city/15258", "label" : "Cham, Svájc", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Svájc", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "oldId" : 10006686, "snippet" : true } ], "firstPageOrInternalIdForSort" : "", "pageLength" : 333, "publishedYear" : 2016, "conference" : { "otype" : "Conference", "mtid" : 112986, "link" : "/api/conference/112986", "label" : "37th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2016 2016-06-19 [Torun, Lengyelország]", "location" : [ { "otype" : "City", "mtid" : 10835, "link" : "/api/city/10835", "label" : "Torun, Lengyelország", "partOf" : { "otype" : "Country", "mtid" : 10027, "link" : "/api/country/10027", "label" : "Lengyelország", "published" : true, "oldId" : 2116147, "snippet" : true }, "published" : true, "oldId" : 1372969, "snippet" : true } ], "published" : true, "snippet" : true }, "abstractText" : "This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016.\n\nThe 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully reviewed and selected from 42 submissions. \n\nPapers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are presented within this volume.", "keywords" : [ { "otype" : "Keyword", "mtid" : 161, "link" : "/api/keyword/161", "label" : "VALIDATION", "published" : true, "oldId" : 161, "snippet" : true }, { "otype" : "Keyword", "mtid" : 7020, "link" : "/api/keyword/7020", "label" : "simulation", "published" : true, "oldId" : 7020, "snippet" : true }, { "otype" : "Keyword", "mtid" : 12383, "link" : "/api/keyword/12383", "label" : "synthesis", "published" : true, "oldId" : 12383, "snippet" : true }, { "otype" : "Keyword", "mtid" : 13623, "link" : "/api/keyword/13623", "label" : "modelling", "published" : true, "oldId" : 13623, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1007327, "link" : "/api/keyword/1007327", "label" : "structural properties", "published" : true, "oldId" : 1007327, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1013907, "link" : "/api/keyword/1013907", "label" : "Petri nets", "published" : true, "oldId" : 1013907, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1140756, "link" : "/api/keyword/1140756", "label" : "Verification", "duplumRole" : "DUPLUM", "published" : true, "oldId" : 1140756, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1154073, "link" : "/api/keyword/1154073", "label" : "Concurrency", "published" : true, "oldId" : 1154073, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1172420, "link" : "/api/keyword/1172420", "label" : "formal methods", "published" : true, "oldId" : 1172420, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2262714, "link" : "/api/keyword/2262714", "label" : "timed verification", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2262715, "link" : "/api/keyword/2262715", "label" : "stochastic verification", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2262716, "link" : "/api/keyword/2262716", "label" : "tools for verification", "published" : true, "snippet" : true } ], "digital" : true, "printed" : true, "collaboration" : "INTERNATIONAL", "sourceYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-03-25", "oaFree" : false, "oaByAuthor" : { "otype" : "Author", "mtid" : 10053159, "link" : "/api/author/10053159", "label" : "Hajdu Ákos (formális módszerek)", "familyName" : "Hajdu", "givenName" : "Ákos", "published" : true, "oldId" : 10053159, "snippet" : true }, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "wosScopusCitationCount" : 0, "wosScopusCitationCountWoOther" : 0, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 0, "selfCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "citingPubCountWoOther" : 0, "independentCitingPubCountWoOther" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "userChangeableUntil" : "2016-07-27T06:25:38.000+0000", "publishDate" : "2016-04-28T06:25:38.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 7, "ownerInstituteCount" : 29, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 2, "chapterCount" : 1, "chapters" : [ { "otype" : "BookChapter", "mtid" : 3076561, "link" : "/api/publication/3076561", "label" : "Marussy Kristóf et al. Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models. (2016) Megjelent: Application and Theory of Petri Nets and Concurrency pp. 281-300", "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1103811, "link" : "/api/publicationidentifier/1103811", "label" : "DOI: 10.1007/978-3-319-39086-4_17", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "oaType" : "PAY", "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "10.1007/978-3-319-39086-4_17", "realUrl" : "https://doi.org/10.1007/978-3-319-39086-4_17", "published" : false, "oldId" : 1412045, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1103812, "link" : "/api/publicationidentifier/1103812", "label" : "REAL: 48179", "source" : { "otype" : "SwordSource", "mtid" : 36, "link" : "/api/publicationsource/36", "label" : "REAL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10007, "link" : "/api/publicationsourcetype/10007", "label" : "Repozitórium", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "REAL", "nameEng" : "REAL", "linkPattern" : "http://real.mtak.hu/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 36, "snippet" : true }, "oaType" : "GREEN", "oaFree" : true, "validState" : "NO", "idValue" : "48179", "realUrl" : "http://real.mtak.hu/48179", "published" : false, "oldId" : 1543034, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1103809, "link" : "/api/publicationidentifier/1103809", "label" : "WoS: 000389799200017", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "DIFFERENT", "idValue" : "000389799200017", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000389799200017", "published" : false, "oldId" : 1664354, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1103810, "link" : "/api/publicationidentifier/1103810", "label" : "Scopus: 84977571019", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "84977571019", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84977571019", "published" : false, "oldId" : 1478647, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 20, "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "oaLink" : "http://real.mtak.hu/48179", "published" : true, "oldId" : 3076561, "snippet" : true } ], "fromCitation" : true, "hasQualityFactor" : false, "link" : "/api/publication/3057502", "label" : "Kordon Fabrice. Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. (2016) ISBN:9783319390864; 9783319390857", "template" : "