{"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","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2007.4297341","pdf_url":null,"source":null,"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"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","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},"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.2955,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.77881041,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"2679","issue":null,"first_page":"242","last_page":"249"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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.9994000196456909,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8721233606338501},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7858021259307861},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6642153859138489},{"id":"https://openalex.org/keywords/division","display_name":"Division (mathematics)","score":0.5843661427497864},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4950970709323883},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.47670310735702515},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.469574898481369},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4475720524787903},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35123521089553833}],"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","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2007.4297341","pdf_url":null,"source":null,"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","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","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1498489270","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/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W2132799268","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W791317142","https://openalex.org/W2109094990","https://openalex.org/W2592399342","https://openalex.org/W2125996595","https://openalex.org/W1559579193"],"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":2014,"cited_by_count":3}],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2025-10-10T00:00:00"}