{"id":"https://openalex.org/W156785485","doi":"https://doi.org/10.1007/978-3-319-10512-3_5","title":"Delay-Dependent Partial Order Reduction Technique for Time Petri Nets","display_name":"Delay-Dependent Partial Order Reduction Technique for Time Petri Nets","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W156785485","doi":"https://doi.org/10.1007/978-3-319-10512-3_5","mag":"156785485"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-10512-3_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-10512-3_5","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/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/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]},{"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"]}],"countries":["CA","FR"],"is_corresponding":true,"raw_author_name":"Hanifa Boucheneb","raw_affiliation_strings":["Laboratoire CEDRIC, Conservatoire National des Arts et M\u00e9tiers, Paris Cedex 03, France","Laboratoire VeriForm, Department of Computer Engineering and Software Engineering, \u00c9cole Polytechnique de Montr\u00e9al, Montr\u00e9al, Canada","\u00c9cole Polytechnique de Montr\u00e9al","Conservatoire National des Arts et M\u00e9tiers"],"affiliations":[{"raw_affiliation_string":"Laboratoire CEDRIC, Conservatoire National des Arts et M\u00e9tiers, 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, Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I45683168"]},{"raw_affiliation_string":"\u00c9cole Polytechnique de Montr\u00e9al","institution_ids":["https://openalex.org/I45683168"]},{"raw_affiliation_string":"Conservatoire National des Arts et M\u00e9tiers","institution_ids":["https://openalex.org/I124158823"]}]},{"author_position":"middle","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":false,"raw_author_name":"Kamel Barkaoui","raw_affiliation_strings":["Laboratoire CEDRIC, Conservatoire National des Arts et M\u00e9tiers, Paris Cedex 03, France","Conservatoire National Des Arts Et M\u00e9tiers"],"affiliations":[{"raw_affiliation_string":"Laboratoire CEDRIC, Conservatoire National des Arts et M\u00e9tiers, Paris Cedex 03, France","institution_ids":["https://openalex.org/I124158823","https://openalex.org/I4210145724"]},{"raw_affiliation_string":"Conservatoire National Des Arts Et M\u00e9tiers","institution_ids":["https://openalex.org/I124158823"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106088604","display_name":"Karim Weslati","orcid":null},"institutions":[{"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"],"is_corresponding":false,"raw_author_name":"Karim Weslati","raw_affiliation_strings":["Laboratoire VeriForm, Department of Computer Engineering and Software Engineering, \u00c9cole Polytechnique de Montr\u00e9al, Montr\u00e9al, Canada","Ecole Polytechnique de Montr\u00e9al,"],"affiliations":[{"raw_affiliation_string":"Laboratoire VeriForm, Department of Computer Engineering and Software Engineering, \u00c9cole Polytechnique de Montr\u00e9al, Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I45683168"]},{"raw_affiliation_string":"Ecole Polytechnique de Montr\u00e9al,","institution_ids":["https://openalex.org/I45683168"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5064585406"],"corresponding_institution_ids":["https://openalex.org/I124158823","https://openalex.org/I4210145724","https://openalex.org/I45683168"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.8017,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.70042109,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"53","last_page":"68"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T11125","display_name":"Petri Nets in System Modeling","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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9914000034332275,"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.9178518056869507},{"id":"https://openalex.org/keywords/partial-order-reduction","display_name":"Partial order reduction","score":0.8956077098846436},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7227013111114502},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.7017108201980591},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.6470238566398621},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4836467504501343},{"id":"https://openalex.org/keywords/current","display_name":"Current (fluid)","score":0.4818183481693268},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4808395802974701},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.46132153272628784},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32036328315734863},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18770170211791992},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18743127584457397},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.18644419312477112},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.05355393886566162}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9178518056869507},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.8956077098846436},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7227013111114502},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.7017108201980591},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6470238566398621},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4836467504501343},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.4818183481693268},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4808395802974701},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.46132153272628784},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32036328315734863},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18770170211791992},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18743127584457397},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.18644419312477112},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.05355393886566162},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-10512-3_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-10512-3_5","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:publications.polymtl.ca:12658","is_oa":false,"landing_page_url":"https://publications.polymtl.ca/12658/","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W61031493","https://openalex.org/W63786410","https://openalex.org/W79592313","https://openalex.org/W1521238949","https://openalex.org/W1528441743","https://openalex.org/W1546526613","https://openalex.org/W1546958647","https://openalex.org/W1556566737","https://openalex.org/W1560730347","https://openalex.org/W1770557760","https://openalex.org/W1841167015","https://openalex.org/W1861370427","https://openalex.org/W1925636530","https://openalex.org/W1997427041","https://openalex.org/W2006988532","https://openalex.org/W2036670017","https://openalex.org/W2041743477","https://openalex.org/W2072530605","https://openalex.org/W2079420020","https://openalex.org/W2093320800","https://openalex.org/W2093709900","https://openalex.org/W2105389929","https://openalex.org/W2105859895","https://openalex.org/W2116509046","https://openalex.org/W2122762495","https://openalex.org/W2132472209","https://openalex.org/W2136315358","https://openalex.org/W2170993410","https://openalex.org/W2489391372","https://openalex.org/W2493261155","https://openalex.org/W2743309925","https://openalex.org/W3087085510","https://openalex.org/W3103283584"],"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":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}