{"id":"https://openalex.org/W2001125292","doi":"https://doi.org/10.1109/sies.2007.4297341","title":"Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems","display_name":"Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems","publication_year":2007,"publication_date":"2007-07-01","ids":{"openalex":"https://openalex.org/W2001125292","doi":"https://doi.org/10.1109/sies.2007.4297341","mag":"2001125292"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2007.4297341","doi":"https://doi.org/10.1109/sies.2007.4297341","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2007.4297341","pdf_url":null,"source":{"id":"https://openalex.org/S7407087970","display_name":"IEEE International Symposium on Industrial Embedded Systems (SIES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 International Symposium on Industrial Embedded Systems","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.au.dk/portal/en/publications/317357d0-21a7-11dc-bee9-02004c4f4f50","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022601249","display_name":"Simon Tjell","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Simon Tjell","raw_affiliation_strings":["Department of Computer Science, University of Aarhus, Denmark","Aarhus University  Aarhus"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]},{"raw_affiliation_string":"Aarhus University  Aarhus","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5022601249"],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":null,"apc_paid":null,"fwci":1.1703,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.73614727,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"242","last_page":"249"},"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.8759999871253967,"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.8759999871253967,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.10300000011920929,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.010900000110268593,"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/colored-petri-nets","display_name":"colored Petri nets","score":0.9940000176429749},{"id":"https://openalex.org/keywords/reactive-systems","display_name":"reactive systems","score":0.8610000014305115},{"id":"https://openalex.org/keywords/model-validation","display_name":"model validation","score":0.6579999923706055},{"id":"https://openalex.org/keywords/structural-analysis","display_name":"structural analysis","score":0.9900000095367432},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"model-based testing","score":0.8489999771118164},{"id":"https://openalex.org/keywords/automatic-code-generation","display_name":"automatic code generation","score":0.871999979019165},{"id":"https://openalex.org/keywords/model-driven-engineering","display_name":"model-driven engineering","score":0.6970000267028809},{"id":"https://openalex.org/keywords/behavioral-models","display_name":"behavioral models","score":0.7070000171661377}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8721233606338501},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7858021259307861},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6642153859138489},{"id":"https://openalex.org/C60798267","wikidata":"https://www.wikidata.org/wiki/Q1226939","display_name":"Division (mathematics)","level":2,"score":0.5843661427497864},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4950970709323883},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.47670310735702515},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.469574898481369},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4475720524787903},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35123521089553833},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/sies.2007.4297341","doi":"https://doi.org/10.1109/sies.2007.4297341","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2007.4297341","pdf_url":null,"source":{"id":"https://openalex.org/S7407087970","display_name":"IEEE International Symposium on Industrial Embedded Systems (SIES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 International Symposium on Industrial Embedded Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/317357d0-21a7-11dc-bee9-02004c4f4f50","doi":null,"is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/317357d0-21a7-11dc-bee9-02004c4f4f50","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tjell, S 2007, Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. in Proceedings of the Second IEEE International Symposium on Industrial Embedded Systems (SIES 2007). vol. 2, IEEE, pp. 242-249, IEEE Second International Symposium on Industrial Embedded Systems, Lisbon, Portugal, 02/07/2007.","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/317357d0-21a7-11dc-bee9-02004c4f4f50","doi":null,"is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/317357d0-21a7-11dc-bee9-02004c4f4f50","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Tjell, S 2007, Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. in Proceedings of the Second IEEE International Symposium on Industrial Embedded Systems (SIES 2007). vol. 2, IEEE, pp. 242-249, IEEE Second International Symposium on Industrial Embedded Systems, Lisbon, Portugal, 02/07/2007.","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1534850333","https://openalex.org/W1563216673","https://openalex.org/W1566045620","https://openalex.org/W1584580268","https://openalex.org/W1592963990","https://openalex.org/W1829244603","https://openalex.org/W2010954288","https://openalex.org/W6926451758"],"related_works":["https://openalex.org/W6981921654","https://openalex.org/W2272688758","https://openalex.org/W2109165865","https://openalex.org/W2790578030","https://openalex.org/W29304832","https://openalex.org/W7099585061","https://openalex.org/W1504715451","https://openalex.org/W2158369888","https://openalex.org/W2156439177","https://openalex.org/W2063326656"],"abstract_inverted_index":{"This":[0,67],"paper":[1,115],"introduces":[2],"and":[3,65,82,103,121],"formally":[4],"defines":[5],"the":[6,17,27,52,95,104,114,119,130,134],"environment-and-system-partitioned":[7,53],"property":[8,44,54],"for":[9,93,129],"behavioral":[10],"models":[11,102,137],"of":[12,26,98,106,113,133,136],"reactive":[13],"systems":[14],"expressed":[15],"in":[16,71],"formal":[18],"modeling":[19],"language":[20],"coloured":[21,99],"Petri":[22,100],"net.":[23],"The":[24,111],"purpose":[25],"formalization":[28],"is":[29,57,69,109,116],"to":[30,34,42,75,117],"make":[31,118],"it":[32,56],"possible":[33],"automatically":[35],"validate":[36],"any":[37],"CPN":[38],"model":[39,50],"with":[40,126],"respect":[41],"this":[43,107],"based":[45,58,138],"on":[46,59,139],"structural":[47,96,140],"analysis.":[48,141],"A":[49,87],"has":[51,90],"if":[55],"a":[60,127],"clear":[61],"division":[62,68],"between":[63],"environment":[64],"system.":[66],"important":[70],"many":[72],"model-driven":[73],"approaches":[74],"software":[76],"development":[77],"such":[78],"as":[79],"model-based":[80],"testing":[81],"automated":[83],"code-generation":[84],"from":[85],"models.":[86],"prototypical":[88],"tool":[89,108],"been":[91],"implemented":[92],"performing":[94],"analysis":[97],"net":[101],"principles":[105],"described.":[110],"aim":[112],"guidelines":[120],"their":[122],"formalized":[123],"definitions":[124],"along":[125],"proof-of-concept":[128],"automatic":[131],"validation":[132],"structure":[135]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":3}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}