{"id":"https://openalex.org/W1988530427","doi":"https://doi.org/10.1016/s1571-0661(05)80294-4","title":"Petri nets with generalized algebra: a comparison","display_name":"Petri nets with generalized algebra: a comparison","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W1988530427","doi":"https://doi.org/10.1016/s1571-0661(05)80294-4","mag":"1988530427"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80294-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80294-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80294-4","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068217644","display_name":"Gabriel Juh\u00e1s","orcid":"https://orcid.org/0000-0001-8302-5112"},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Gabriel Juh\u00e1s","raw_affiliation_strings":["Technical University of Berlin","Technical University of Berlin,"],"affiliations":[{"raw_affiliation_string":"Technical University of Berlin","institution_ids":["https://openalex.org/I4577782"]},{"raw_affiliation_string":"Technical University of Berlin,","institution_ids":["https://openalex.org/I4577782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5068217644"],"corresponding_institution_ids":["https://openalex.org/I4577782"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.12137907,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":null,"first_page":"42","last_page":"56"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"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":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9922999739646912,"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.984499990940094,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.80934739112854},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7657064199447632},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.7599780559539795},{"id":"https://openalex.org/keywords/abelian-group","display_name":"Abelian group","score":0.7448961734771729},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6472131013870239},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.5623140335083008},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.46679550409317017},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.44549137353897095},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.343461275100708},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3382839560508728},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3381584584712982},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.2964344024658203},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.08870571851730347}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.80934739112854},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7657064199447632},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.7599780559539795},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.7448961734771729},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6472131013870239},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.5623140335083008},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.46679550409317017},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.44549137353897095},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.343461275100708},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3382839560508728},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3381584584712982},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2964344024658203},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.08870571851730347},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80294-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80294-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80294-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80294-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1515795779","https://openalex.org/W1542786166","https://openalex.org/W1551222658","https://openalex.org/W1552205650","https://openalex.org/W1573036064","https://openalex.org/W1577110168","https://openalex.org/W1854108352","https://openalex.org/W1978994556","https://openalex.org/W1994188141","https://openalex.org/W2027622095","https://openalex.org/W2065579100","https://openalex.org/W2069849383","https://openalex.org/W2090925938","https://openalex.org/W2149030441","https://openalex.org/W2173961470","https://openalex.org/W2620434376","https://openalex.org/W2913376619","https://openalex.org/W6630857577","https://openalex.org/W6676877027"],"related_works":["https://openalex.org/W1500907979","https://openalex.org/W2107824370","https://openalex.org/W1551903405","https://openalex.org/W2039577724","https://openalex.org/W2380814829","https://openalex.org/W2499946963","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W1531156418","https://openalex.org/W2353505923"],"abstract_inverted_index":{"In":[0,50,113],"the":[1,51,87,135,138,154,165],"last":[2],"decade":[3],"we":[4,53,65,90],"can":[5],"see":[6],"substantial":[7],"effort":[8],"to":[9,111],"develop":[10],"an":[11,172],"abstract":[12],"and":[13,37,79,104],"uniform":[14],"constructions":[15],"for":[16],"Petri":[17,29,57,67,98,130,179],"nets.":[18,30,131,180],"Most":[19],"of":[20,28,47,76,83,94,97,106,129,140,143,153,156,159,178],"such":[21],"abstractions":[22],"are":[23],"based":[24],"on":[25,118,168],"algebraic":[26],"characterizations":[27],"They":[31],"work":[32],"mostly":[33],"over":[34,69,100,145,161],"commutative":[35,43,70,73,102,121,163],"monoids":[36,44,103,170],"their":[38],"various":[39],"subclasses,":[40],"namely":[41],"cancellative":[42,72,101,120,162],"or":[45],"cones":[46,75,82,105,148],"Abelian":[48,77,84,107],"groups.":[49,85],"paper":[52],"study":[54,66],"relationships":[55],"between":[56],"nets":[58,68,99,144,160],"with":[59],"generalized":[60],"underlying":[61],"algebra.":[62],"More":[63],"precisely,":[64],"monoids,":[71,74,164],"groups,":[78],"fully":[80,146],"ordered":[81,147],"As":[86],"main":[88],"result,":[89],"show":[91],"that":[92,137],"classes":[93],"reachability":[95,141,157],"graphs":[96,142,158],"groups":[108],"coincide":[109],"(up":[110],"isomorphism).":[112],"other":[114],"words,":[115],"partial":[116],"order":[117,167],"used":[119,169],"monoid":[122],"plays":[123,171],"no":[124],"role":[125,174],"in":[126,175],"expressive":[127,176],"power":[128,177],"However,":[132],"as":[133],"shows":[134],"fact":[136],"class":[139,155],"is":[149],"a":[150],"proper":[151],"subclass":[152],"total":[166],"important":[173]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}