{"id":"https://openalex.org/W2001250066","doi":"https://doi.org/10.1016/s0167-9260(96)00010-7","title":"Modelling, analysis and synthesis of asynchronous control circuits using Petri nets","display_name":"Modelling, analysis and synthesis of asynchronous control circuits using Petri nets","publication_year":1996,"publication_date":"1996-12-01","ids":{"openalex":"https://openalex.org/W2001250066","doi":"https://doi.org/10.1016/s0167-9260(96)00010-7","mag":"2001250066"},"language":"en","primary_location":{"id":"doi:10.1016/s0167-9260(96)00010-7","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0167-9260(96)00010-7","pdf_url":null,"source":{"id":"https://openalex.org/S139392130","display_name":"Integration","issn_l":"0167-9260","issn":["0167-9260","1872-7522"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Integration","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/A5029446985","display_name":"Alex Yakovlev","orcid":"https://orcid.org/0000-0003-0826-9330"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"A.V. Yakovlev","raw_affiliation_strings":["Computing Science Department, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK"],"affiliations":[{"raw_affiliation_string":"Computing Science Department, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110512748","display_name":"AM Koelmans","orcid":null},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A.M. Koelmans","raw_affiliation_strings":["Computing Science Department, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK"],"affiliations":[{"raw_affiliation_string":"Computing Science Department, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016522016","display_name":"A. L. Semenov","orcid":"https://orcid.org/0000-0002-1785-2387"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A. Semenov","raw_affiliation_strings":["Computing Science Department, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK"],"affiliations":[{"raw_affiliation_string":"Computing Science Department, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109215825","display_name":"D.J. Kinniment","orcid":null},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"D.J. Kinniment","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK","Department of Electrical and Electronic Engineering, University of Newcastle Upon Tyne, Newcastle Upon Tyne NE1 7RU, UK"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Newcastle Upon Tyne, Newcastle Upon Tyne NE1 7RU, UK","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5029446985"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":{"value":2150,"currency":"USD","value_usd":2150},"apc_paid":null,"fwci":1.5451,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.81798286,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"21","issue":"3","first_page":"143","last_page":"170"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T10142","display_name":"Formal Methods in Verification","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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994999766349792,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8837006092071533},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7276578545570374},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7242749333381653},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5742374062538147},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.488710880279541},{"id":"https://openalex.org/keywords/asynchronous-circuit","display_name":"Asynchronous circuit","score":0.4826386570930481},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.46280330419540405},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45240455865859985},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35640597343444824},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3291223645210266},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15995129942893982},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1387692093849182},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.11818993091583252},{"id":"https://openalex.org/keywords/jitter","display_name":"Jitter","score":0.10896900296211243},{"id":"https://openalex.org/keywords/clock-signal","display_name":"Clock signal","score":0.09459361433982849}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8837006092071533},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7276578545570374},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7242749333381653},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5742374062538147},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.488710880279541},{"id":"https://openalex.org/C87695204","wikidata":"https://www.wikidata.org/wiki/Q629971","display_name":"Asynchronous circuit","level":5,"score":0.4826386570930481},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.46280330419540405},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45240455865859985},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35640597343444824},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3291223645210266},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15995129942893982},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1387692093849182},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.11818993091583252},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.10896900296211243},{"id":"https://openalex.org/C137059387","wikidata":"https://www.wikidata.org/wiki/Q426882","display_name":"Clock signal","level":3,"score":0.09459361433982849},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C42196554","wikidata":"https://www.wikidata.org/wiki/Q1186179","display_name":"Synchronous circuit","level":4,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0167-9260(96)00010-7","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0167-9260(96)00010-7","pdf_url":null,"source":{"id":"https://openalex.org/S139392130","display_name":"Integration","issn_l":"0167-9260","issn":["0167-9260","1872-7522"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Integration","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":68,"referenced_works":["https://openalex.org/W169353854","https://openalex.org/W240055707","https://openalex.org/W258022877","https://openalex.org/W1483902580","https://openalex.org/W1491037212","https://openalex.org/W1491226430","https://openalex.org/W1492259997","https://openalex.org/W1502716092","https://openalex.org/W1503170978","https://openalex.org/W1503973138","https://openalex.org/W1511688816","https://openalex.org/W1534774275","https://openalex.org/W1537297184","https://openalex.org/W1554812212","https://openalex.org/W1590447624","https://openalex.org/W1594784892","https://openalex.org/W1601699262","https://openalex.org/W1934074768","https://openalex.org/W1937565299","https://openalex.org/W1965237160","https://openalex.org/W1969855192","https://openalex.org/W1991052229","https://openalex.org/W1994188141","https://openalex.org/W1996109622","https://openalex.org/W2036969592","https://openalex.org/W2040767166","https://openalex.org/W2072530605","https://openalex.org/W2102718251","https://openalex.org/W2117428997","https://openalex.org/W2122233178","https://openalex.org/W2130658737","https://openalex.org/W2141378131","https://openalex.org/W2141768816","https://openalex.org/W2148001648","https://openalex.org/W2151612633","https://openalex.org/W2153364763","https://openalex.org/W2157452183","https://openalex.org/W2163693853","https://openalex.org/W2537386175","https://openalex.org/W2544728966","https://openalex.org/W2912195280","https://openalex.org/W3143840390","https://openalex.org/W4231905827","https://openalex.org/W4285719527","https://openalex.org/W6601572958","https://openalex.org/W6606901033","https://openalex.org/W6629229754","https://openalex.org/W6629326351","https://openalex.org/W6629952561","https://openalex.org/W6630623413","https://openalex.org/W6633282629","https://openalex.org/W6635556078","https://openalex.org/W6635593573","https://openalex.org/W6635781479","https://openalex.org/W6640673617","https://openalex.org/W6642554620","https://openalex.org/W6649340350","https://openalex.org/W6659723336","https://openalex.org/W6668606239","https://openalex.org/W6675251682","https://openalex.org/W6679452540","https://openalex.org/W6680918564","https://openalex.org/W6681823127","https://openalex.org/W6682838384","https://openalex.org/W6682966318","https://openalex.org/W6683967279","https://openalex.org/W6729083030","https://openalex.org/W6758763448"],"related_works":["https://openalex.org/W1938017683","https://openalex.org/W2158814988","https://openalex.org/W1543378523","https://openalex.org/W2355954834","https://openalex.org/W2285444239","https://openalex.org/W2257573499","https://openalex.org/W2901841247","https://openalex.org/W2091260341","https://openalex.org/W597347111","https://openalex.org/W2064254377"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":5},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}