{"id":"https://openalex.org/W1549042655","doi":"https://doi.org/10.3233/fi-2015-1171","title":"Generalizing the Compositions of Petri Nets Modules","display_name":"Generalizing the Compositions of Petri Nets Modules","publication_year":2015,"publication_date":"2015-04-01","ids":{"openalex":"https://openalex.org/W1549042655","doi":"https://doi.org/10.3233/fi-2015-1171","mag":"1549042655"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2015-1171","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2015-1171","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-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/A5040234201","display_name":"Alexis Marechal","orcid":null},"institutions":[{"id":"https://openalex.org/I4210131140","display_name":"Universidad Privada Boliviana","ror":"https://ror.org/03758j340","country_code":"BO","type":"education","lineage":["https://openalex.org/I4210131140"]}],"countries":["BO"],"is_corresponding":true,"raw_author_name":"Alexis Marechal","raw_affiliation_strings":["Centro de Investigaciones en Nuevas Tecnolog\u00edas Inform\u00e1ticas, Universidad Privada Boliviana, La Paz, Bolivia. alexismarechal@lp.upb.edu"],"affiliations":[{"raw_affiliation_string":"Centro de Investigaciones en Nuevas Tecnolog\u00edas Inform\u00e1ticas, Universidad Privada Boliviana, La Paz, Bolivia. alexismarechal@lp.upb.edu","institution_ids":["https://openalex.org/I4210131140"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013795728","display_name":"Didier Buchs","orcid":null},"institutions":[{"id":"https://openalex.org/I4210131140","display_name":"Universidad Privada Boliviana","ror":"https://ror.org/03758j340","country_code":"BO","type":"education","lineage":["https://openalex.org/I4210131140"]},{"id":"https://openalex.org/I114457229","display_name":"University of Geneva","ror":"https://ror.org/01swzsf04","country_code":"CH","type":"education","lineage":["https://openalex.org/I114457229"]}],"countries":["BO","CH"],"is_corresponding":false,"raw_author_name":"Didier Buchs","raw_affiliation_strings":["Centro de Investigaciones en Nuevas Tecnolog\u00edas Inform\u00e1ticas, Universidad Privada Boliviana, La Paz, Bolivia. alexismarechal@lp.upb.edu","Centre Universitaire d'Informatique, University of Geneva, 7 route de Drize, 1227 Carouge, Switzerland. didier.buchs@unige.ch#TAB#"],"affiliations":[{"raw_affiliation_string":"Centro de Investigaciones en Nuevas Tecnolog\u00edas Inform\u00e1ticas, Universidad Privada Boliviana, La Paz, Bolivia. alexismarechal@lp.upb.edu","institution_ids":["https://openalex.org/I4210131140"]},{"raw_affiliation_string":"Centre Universitaire d'Informatique, University of Geneva, 7 route de Drize, 1227 Carouge, Switzerland. didier.buchs@unige.ch#TAB#","institution_ids":["https://openalex.org/I114457229"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5040234201"],"corresponding_institution_ids":["https://openalex.org/I4210131140"],"apc_list":null,"apc_paid":null,"fwci":0.3505,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61776723,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"137","issue":"1","first_page":"87","last_page":"116"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9991999864578247,"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.9987000226974487,"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.8752150535583496},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6134757995605469},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6134602427482605},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5826849341392517},{"id":"https://openalex.org/keywords/petri-dish","display_name":"Petri dish","score":0.5550355911254883},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5175008773803711},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3652200698852539}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8752150535583496},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6134757995605469},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6134602427482605},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5826849341392517},{"id":"https://openalex.org/C146763376","wikidata":"https://www.wikidata.org/wiki/Q81714","display_name":"Petri dish","level":2,"score":0.5550355911254883},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5175008773803711},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3652200698852539},{"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.3233/fi-2015-1171","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2015-1171","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7400000095367432,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W8883731","https://openalex.org/W45922455","https://openalex.org/W1486382412","https://openalex.org/W1506206143","https://openalex.org/W1522846680","https://openalex.org/W1534850333","https://openalex.org/W1546854094","https://openalex.org/W1566637130","https://openalex.org/W1570372094","https://openalex.org/W1598212711","https://openalex.org/W1766332311","https://openalex.org/W1788026644","https://openalex.org/W1790952716","https://openalex.org/W1950029902","https://openalex.org/W1967400027","https://openalex.org/W2000850310","https://openalex.org/W2069697538","https://openalex.org/W2092169056","https://openalex.org/W2097948904","https://openalex.org/W2099006718","https://openalex.org/W2105486835","https://openalex.org/W2110425399","https://openalex.org/W2157221482","https://openalex.org/W2158721284","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W2016850136","https://openalex.org/W2064254377","https://openalex.org/W2901841247","https://openalex.org/W2148229336","https://openalex.org/W1847176793","https://openalex.org/W1557425998","https://openalex.org/W2159539963"],"abstract_inverted_index":{"Modularity":[0,46],"is":[1,127,167,187,201],"a":[2,38,48,93,130,206],"mandatory":[3],"principle":[4],"to":[5,9,19,67,86,103,203],"apply":[6],"Petri":[7,16,62,109,132],"nets":[8,17,63,110,133],"real":[10],"world-sized":[11],"systems.":[12],"Modular":[13,141],"extensions":[14,79],"of":[15,33,51,77,107,115,152,158,184,196,223],"allow":[18],"create":[20],"complex":[21,120],"models":[22],"by":[23,36,189],"combining":[24],"smaller":[25],"entities.":[26],"They":[27],"facilitate":[28],"the":[29,60,105,113,118,124,136,149,156,159,182,194,210,217,221],"modeling":[30],"and":[31,40,43,57,80,171],"verification":[32,213],"large":[34],"systems":[35],"applying":[37],"divide":[39],"conquer":[41],"approach":[42,102,176],"promoting":[44],"reuse.":[45],"includes":[47],"wide":[49],"range":[50],"notions":[52],"such":[53,78,215],"as":[54,216],"encapsulation,":[55],"hierarchy":[56],"instantiation.":[58],"Over":[59],"years,":[61],"have":[64],"been":[65],"extended":[66],"include":[68],"these":[69],"mechanisms":[70],"in":[71,98,220],"many":[72],"different":[73],"ways.":[74],"The":[75,164],"heterogeneity":[76],"their":[81,89,197],"definitions":[82],"makes":[83],"it":[84,200],"difficult":[85],"reason":[87,204],"about":[88],"common":[90,191],"features":[91,122],"at":[92,205],"general":[94,207],"level.":[95],"We":[96,145],"propose":[97],"this":[99],"article":[100],"an":[101,162],"standardize":[104],"semantics":[106],"modular":[108,121],"formalisms,":[111],"with":[112,129,161,172],"objective":[114],"gathering":[116],"even":[117],"most":[119,211],"from":[123],"literature.":[125],"This":[126],"achieved":[128],"new":[131,185],"formalism,":[134],"called":[135],"LLAMAS":[137],"Language":[138],"for":[139,193],"Advanced":[140],"Algebraic":[142],"Nets":[143],"(LLAMAS).":[144],"focus":[146],"principally":[147],"on":[148,209],"composition":[150,165],"mechanism":[151,166],"LLAMAS,":[153],"while":[154],"introducing":[155],"rest":[157],"language":[160],"example.":[163],"introduced":[168],"both":[169],"informally":[170],"formal":[173],"definitions.":[174],"Our":[175],"has":[177],"two":[178],"positive":[179],"outcomes.":[180],"First,":[181],"definition":[183,195],"formalisms":[186],"facilitated,":[188],"providing":[190],"ground":[192],"semantics.":[198],"Second,":[199],"possible":[202],"level":[208],"advanced":[212],"techniques,":[214],"recent":[218],"advances":[219],"domain":[222],"decision":[224],"diagrams.":[225]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}