{ "labelLang" : "eng", "responseDate" : "2024-03-29 12:06", "paging" : { "last" : false, "first" : true, "totalPages" : 2, "totalElements" : 125, "totalUncutElements" : 125, "totalEstimatedElements" : 20, "size" : 100, "number" : 1, "numberOfElements" : 100, "sort" : [ { "direction" : "ASC", "property" : "publication.publishedYear", "ascending" : true }, { "direction" : "ASC", "property" : "publication.label", "ascending" : true }, { "direction" : "ASC", "property" : "publication.mtid", "ascending" : true }, { "direction" : "DESC", "property" : "related", "ascending" : false }, { "direction" : "ASC", "property" : "mtid", "ascending" : true } ] }, "content" : [ { "otype" : "Citation", "mtid" : 20506745, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2015-03-24T14:30:37.000+0000", "deleted" : false, "oldId" : 10506745, "lastRefresh" : "2022-03-09T07:48:57.691+0000", "lastModified" : "2018-10-11T03:57:52.014+0000", "created" : "2009-01-28T23:00:00.000+0000", "publication" : { "otype" : "JournalArticle", "mtid" : 5363, "link" : "/api/publication/5363", "label" : "Gerzson M et al. QUALITATIVE MODEL-BASED VERIFICATION OF OPERATING PROCEDURES BY HIGH-LEVEL PETRI NETS. (1994) COMPUTERS & CHEMICAL ENGINEERING 0098-1354 1873-4375 18 Supplement: S S565-S569", "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Journal Article", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Article (Journal Article)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Journal Article", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "QUALITATIVE MODEL-BASED VERIFICATION OF OPERATING PROCEDURES BY HIGH-LEVEL PETRI NETS", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 13953, "link" : "/api/publicationidentifier/13953", "label" : "DOI: 10.1016/0098-1354(94)80092-8", "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 }, "oaFree" : false, "validState" : "NO", "idValue" : "10.1016/0098-1354(94)80092-8", "realUrl" : "https://doi.org/10.1016%2F0098-1354%2894%2980092-8", "published" : false, "oldId" : 1653, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13952, "link" : "/api/publicationidentifier/13952", "label" : "WoS: A1994MM09800092", "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" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=@@@&DestApp=WOS", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "A1994MM09800092", "realUrl" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=A1994MM09800092&DestApp=WOS", "published" : false, "oldId" : 1654, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 16353383, "link" : "/api/publicationidentifier/16353383", "label" : "Scopus: 0028196161", "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 }, "validState" : "DIFFERENT", "idValue" : "0028196161", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-0028196161", "published" : true, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 1146, "link" : "/api/journal/1146", "label" : "COMPUTERS & CHEMICAL ENGINEERING 0098-1354 1873-4375", "pIssn" : "0098-1354", "eIssn" : "1873-4375", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 1146, "snippet" : true }, "volume" : "18", "issue" : "Supplement: S", "publishedAt" : [ ], "publishedYear" : 1994, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : true, "published" : true, "oldId" : 5363, "snippet" : true }, "publicationMtid" : 5363, "related" : { "otype" : "JournalArticle", "mtid" : 20506748, "link" : "/api/publication/20506748", "label" : "Wu N Q et al. Modeling and conflict detection of crude oil operations for refinery process based on controlled colored timed Petri net. (2007) IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS 1094-6977 1558-2442 37 4 461-472", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Journal Article", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Article (Journal Article)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Journal Article", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Modeling and conflict detection of crude oil operations for refinery process based on controlled colored timed Petri net", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 2293588, "link" : "/api/publicationidentifier/2293588", "label" : "WoS: 000247644800003", "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" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=@@@&DestApp=WOS", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "validState" : "NO", "idValue" : "000247644800003", "realUrl" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=000247644800003&DestApp=WOS", "published" : false, "oldId" : 352082, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 28869, "link" : "/api/journal/28869", "label" : "IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS 1094-6977 1558-2442", "pIssn" : "1094-6977", "eIssn" : "1558-2442", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : false, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 28869, "snippet" : true }, "volume" : "37", "issue" : "4", "publishedAt" : [ ], "pageLength" : 12, "publishedYear" : 2007, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : false, "published" : true, "oldId" : 10506748, "snippet" : true }, "relatedMtid" : 20506748, "source" : "RIS", "externalCitation" : true, "externalCitationOK" : true, "mentionCount" : 1, "link" : "/api/citation/20506745", "label" : "Wu N Q et al. Modeling and conflict detection of crude oil operations for refinery process based on controlled colored timed Petri net. (2007) IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS 1094-6977 1558-2442 37 4 461-472", "template" : "