{"id":"https://openalex.org/W1980926994","doi":"https://doi.org/10.1016/0022-0000(79)90050-3","title":"Analysis of petri nets by stepwise refinements","display_name":"Analysis of petri nets by stepwise refinements","publication_year":1979,"publication_date":"1979-02-01","ids":{"openalex":"https://openalex.org/W1980926994","doi":"https://doi.org/10.1016/0022-0000(79)90050-3","mag":"1980926994"},"language":"en","primary_location":{"id":"doi:10.1016/0022-0000(79)90050-3","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0022-0000(79)90050-3","pdf_url":null,"source":{"id":"https://openalex.org/S141020589","display_name":"Journal of Computer and System Sciences","issn_l":"0022-0000","issn":["0022-0000","1090-2724"],"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":"Journal of Computer and System Sciences","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/A5071537540","display_name":"R. Valette","orcid":"https://orcid.org/0000-0003-2101-8552"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"R. Valette","raw_affiliation_strings":["Laboratoire d'Automatique et d'Analyse des Syst\u00e8mes du Centre National de la Recherche Scientifique, 7, avenue du Colonel Roche, 31400 Toulouse, France","Laboratoire d'Automatique et d'Analyse des Syst\u00e8mes du Centre National de la Recherche Scientifique 7, Avenue du Colonel Roche 31400 Toulouse - France"],"affiliations":[{"raw_affiliation_string":"Laboratoire d'Automatique et d'Analyse des Syst\u00e8mes du Centre National de la Recherche Scientifique, 7, avenue du Colonel Roche, 31400 Toulouse, France","institution_ids":["https://openalex.org/I190497903","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Laboratoire d'Automatique et d'Analyse des Syst\u00e8mes du Centre National de la Recherche Scientifique 7, Avenue du Colonel Roche 31400 Toulouse - France","institution_ids":["https://openalex.org/I190497903","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5071537540"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"],"apc_list":{"value":2520,"currency":"USD","value_usd":2520},"apc_paid":null,"fwci":4.3299,"has_fulltext":false,"cited_by_count":284,"citation_normalized_percentile":{"value":0.94205523,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"18","issue":"1","first_page":"35","last_page":"46"},"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.9995999932289124,"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.9995999932289124,"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/T11567","display_name":"semigroups and automata theory","score":0.9977999925613403,"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.9934999942779541,"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.9525772333145142},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.8254098892211914},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7111523747444153},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.6667430400848389},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.45668330788612366},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4541052281856537},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.44918569922447205},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3617978096008301},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2417471706867218},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1101149320602417},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09886503219604492},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09531649947166443}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9525772333145142},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.8254098892211914},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7111523747444153},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.6667430400848389},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.45668330788612366},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4541052281856537},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44918569922447205},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3617978096008301},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2417471706867218},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1101149320602417},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09886503219604492},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09531649947166443}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/0022-0000(79)90050-3","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0022-0000(79)90050-3","pdf_url":null,"source":{"id":"https://openalex.org/S141020589","display_name":"Journal of Computer and System Sciences","issn_l":"0022-0000","issn":["0022-0000","1090-2724"],"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":"Journal of Computer and System Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W109966224","https://openalex.org/W1514194201","https://openalex.org/W1993742654","https://openalex.org/W1994350081","https://openalex.org/W2006648494","https://openalex.org/W2019268428","https://openalex.org/W2057837530","https://openalex.org/W2068247526","https://openalex.org/W6630618315","https://openalex.org/W6667550989"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W1491709828","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W2148229336","https://openalex.org/W1980200158","https://openalex.org/W1513546254","https://openalex.org/W2091203523","https://openalex.org/W2125164140"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":7}],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}