{"id":"https://openalex.org/W2810055441","doi":"https://doi.org/10.1109/codit.2018.8394909","title":"PNeS: Tools for the Design and Analysis Petri Nets","display_name":"PNeS: Tools for the Design and Analysis Petri Nets","publication_year":2018,"publication_date":"2018-04-01","ids":{"openalex":"https://openalex.org/W2810055441","doi":"https://doi.org/10.1109/codit.2018.8394909","mag":"2810055441"},"language":"en","primary_location":{"id":"doi:10.1109/codit.2018.8394909","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit.2018.8394909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 5th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045492225","display_name":"Zbigniew Suraj","orcid":"https://orcid.org/0000-0001-9544-9561"},"institutions":[{"id":"https://openalex.org/I98559091","display_name":"Rzesz\u00f3w University","ror":"https://ror.org/03pfsnq21","country_code":"PL","type":"education","lineage":["https://openalex.org/I98559091"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Zbigniew Suraj","raw_affiliation_strings":["Department of Computer Science, University of Rzesz\u00f3w, Rzesz\u00f3w, Poland"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Rzesz\u00f3w, Rzesz\u00f3w, Poland","institution_ids":["https://openalex.org/I98559091"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5045492225"],"corresponding_institution_ids":["https://openalex.org/I98559091"],"apc_list":null,"apc_paid":null,"fwci":0.2019,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.52611896,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"391","last_page":"396"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9774932861328125},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.8174434304237366},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7864689826965332},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.569972813129425},{"id":"https://openalex.org/keywords/petri-dish","display_name":"Petri dish","score":0.531622588634491},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5155184268951416},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37376731634140015},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36115044355392456},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33981820940971375}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9774932861328125},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.8174434304237366},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7864689826965332},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.569972813129425},{"id":"https://openalex.org/C146763376","wikidata":"https://www.wikidata.org/wiki/Q81714","display_name":"Petri dish","level":2,"score":0.531622588634491},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5155184268951416},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37376731634140015},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36115044355392456},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33981820940971375},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/codit.2018.8394909","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit.2018.8394909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 5th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W315101999","https://openalex.org/W978293728","https://openalex.org/W1514194201","https://openalex.org/W1530920082","https://openalex.org/W1561267729","https://openalex.org/W1577110168","https://openalex.org/W1606838974","https://openalex.org/W1759934887","https://openalex.org/W1788284231","https://openalex.org/W1996109622","https://openalex.org/W1997786913","https://openalex.org/W2065366801","https://openalex.org/W2067782667","https://openalex.org/W2069849383","https://openalex.org/W2096473476","https://openalex.org/W2106001218","https://openalex.org/W2158814988","https://openalex.org/W2161464089","https://openalex.org/W2630484838","https://openalex.org/W2684124822"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W2064254377","https://openalex.org/W2901841247","https://openalex.org/W1847176793","https://openalex.org/W2148229336","https://openalex.org/W2001922003","https://openalex.org/W117466158","https://openalex.org/W4244333532"],"abstract_inverted_index":{"Petri":[0,25,38,61,68,92],"net":[1,69],"is":[2,27],"a":[3,19],"strong":[4],"mathematical":[5],"modeling":[6],"language":[7],"that":[8],"can":[9],"be":[10],"used":[11],"to":[12,53,86],"represent":[13],"parallel":[14],"or":[15],"concurrent":[16],"activities":[17],"in":[18],"system.":[20,112],"The":[21],"practical":[22],"use":[23],"of":[24,33,60,75,91,101],"nets":[26,39],"strongly":[28],"dependent":[29],"upon":[30],"the":[31,57],"existence":[32],"adequate":[34],"computer":[35,108],"tools.":[36],"For":[37],"one":[40],"needs":[41],"editors":[42],"as":[43,45,77,79],"well":[44,78],"analysis":[46,95],"programs.":[47],"Modern":[48],"computers":[49],"provide":[50],"an":[51],"opportunity":[52],"work":[54,87],"directly":[55],"with":[56,88],"graphical":[58,67],"representations":[59],"nets.":[62,93],"This":[63],"paper":[64],"describes":[65],"integrated":[66],"tools":[70,96],"called":[71],"PNeS":[72,83,104],"for":[73,99],"construction":[74],"nets,":[76],"modification":[80],"and":[81],"analysis.":[82],"allows":[84],"us":[85],"different":[89],"classes":[90],"Several":[94],"are":[97],"available":[98],"each":[100],"these":[102],"classes.":[103],"works":[105],"on":[106],"any":[107,110],"under":[109],"operating":[111]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}