{"id":"https://openalex.org/W2888212256","doi":"https://doi.org/10.1007/978-3-030-00151-3_7","title":"On Persistency in Time Petri Nets","display_name":"On Persistency in Time Petri Nets","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2888212256","doi":"https://doi.org/10.1007/978-3-030-00151-3_7","mag":"2888212256"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-00151-3_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-00151-3_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5028283340","display_name":"Kamel Barkaoui","orcid":"https://orcid.org/0000-0001-7175-0448"},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]},{"id":"https://openalex.org/I4210145724","display_name":"Centre d'Etudes et De Recherche en Informatique et Communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210145724"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Kamel Barkaoui","raw_affiliation_strings":["Laboratoire CEDRIC, Conservatoire National des Arts et M\u00e9tiers, 192 rue Saint Martin, Paris Cedex 03, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire CEDRIC, Conservatoire National des Arts et M\u00e9tiers, 192 rue Saint Martin, Paris Cedex 03, France","institution_ids":["https://openalex.org/I124158823","https://openalex.org/I4210145724"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064585406","display_name":"Hanifa Boucheneb","orcid":"https://orcid.org/0000-0001-9158-6374"},"institutions":[{"id":"https://openalex.org/I4210145724","display_name":"Centre d'Etudes et De Recherche en Informatique et Communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210145724"]},{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]},{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA","FR"],"is_corresponding":false,"raw_author_name":"Hanifa Boucheneb","raw_affiliation_strings":["Laboratoire CEDRIC, Conservatoire National des Arts et M\u00e9tiers, 192 rue Saint Martin, Paris Cedex 03, France","Laboratoire VeriForm, Department of Computer Engineering and Software Engineering, \u00c9cole Polytechnique de Montr\u00e9al, P.O. Box 6079, Station Centre-ville, Montr\u00e9al, Qu\u00e9bec, H3C 3A7, Canada"],"affiliations":[{"raw_affiliation_string":"Laboratoire CEDRIC, Conservatoire National des Arts et M\u00e9tiers, 192 rue Saint Martin, Paris Cedex 03, France","institution_ids":["https://openalex.org/I124158823","https://openalex.org/I4210145724"]},{"raw_affiliation_string":"Laboratoire VeriForm, Department of Computer Engineering and Software Engineering, \u00c9cole Polytechnique de Montr\u00e9al, P.O. Box 6079, Station Centre-ville, Montr\u00e9al, Qu\u00e9bec, H3C 3A7, Canada","institution_ids":["https://openalex.org/I45683168"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5028283340"],"corresponding_institution_ids":["https://openalex.org/I124158823","https://openalex.org/I4210145724"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.9896,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78004742,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"108","last_page":"124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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.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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983999729156494,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9506946802139282},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7132428288459778},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6568639874458313},{"id":"https://openalex.org/keywords/partial-order-reduction","display_name":"Partial order reduction","score":0.6248570680618286},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5966119766235352},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.56037837266922},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5443624258041382},{"id":"https://openalex.org/keywords/transition","display_name":"Transition (genetics)","score":0.45585688948631287},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.43181347846984863},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3096694350242615},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26899319887161255},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1744796335697174},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12327951192855835},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.0819936990737915}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9506946802139282},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7132428288459778},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6568639874458313},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.6248570680618286},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5966119766235352},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.56037837266922},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5443624258041382},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.45585688948631287},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.43181347846984863},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3096694350242615},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26899319887161255},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1744796335697174},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12327951192855835},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.0819936990737915},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-00151-3_7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-00151-3_7","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-02475863v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02475863","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2018, Aug 2018, Beijing, China. pp.108-124, ⟨10.1007/978-3-030-00151-3_7⟩","raw_type":"Conference papers"},{"id":"pmh:oai:publications.polymtl.ca:40293","is_oa":false,"landing_page_url":"https://publications.polymtl.ca/40293/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401013","display_name":"PolyPublie (\u00c9cole Polytechnique de Montr\u00e9al)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45683168","host_organization_name":"Polytechnique Montr\u00e9al","host_organization_lineage":["https://openalex.org/I45683168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Communication de conf\u00e9rence"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W63786410","https://openalex.org/W79592313","https://openalex.org/W156785485","https://openalex.org/W1521238949","https://openalex.org/W1533935241","https://openalex.org/W1577372958","https://openalex.org/W1770557760","https://openalex.org/W1841167015","https://openalex.org/W1861370427","https://openalex.org/W1984616519","https://openalex.org/W1997427041","https://openalex.org/W2006988532","https://openalex.org/W2027595901","https://openalex.org/W2036670017","https://openalex.org/W2079420020","https://openalex.org/W2105389929","https://openalex.org/W2106001218","https://openalex.org/W2132472209","https://openalex.org/W2136315358","https://openalex.org/W2775713557"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2916743419","https://openalex.org/W2381491984","https://openalex.org/W2257573499","https://openalex.org/W1980200158","https://openalex.org/W1513546254","https://openalex.org/W2148229336","https://openalex.org/W2091203523","https://openalex.org/W2125164140","https://openalex.org/W2121521078"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}