{"id":"https://openalex.org/W2892538015","doi":"https://doi.org/10.1007/978-3-319-99810-7_12","title":"$$TCTL^{\\varDelta }_h$$ Model Checking of Time Petri\u00a0Nets","display_name":"$$TCTL^{\\varDelta }_h$$ Model Checking of Time Petri\u00a0Nets","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2892538015","doi":"https://doi.org/10.1007/978-3-319-99810-7_12","mag":"2892538015"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-99810-7_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-99810-7_12","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/A5078933217","display_name":"Naima Jbeli","orcid":null},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]},{"id":"https://openalex.org/I4210131288","display_name":"National Engineering School of Tunis","ror":"https://ror.org/03b1zjt31","country_code":"TN","type":"education","lineage":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Naima Jbeli","raw_affiliation_strings":["National Engineering School of Tunis, Tunis El Manar University, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","National Engineering School of Tunis, Tunis El Manar University, Tunis, Tunisia"],"affiliations":[{"raw_affiliation_string":"National Engineering School of Tunis, Tunis El Manar University, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]},{"raw_affiliation_string":"National Engineering School of Tunis, Tunis El Manar University, Tunis, Tunisia","institution_ids":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013770247","display_name":"Zohra Sba\u00ef","orcid":"https://orcid.org/0000-0002-2000-4370"},"institutions":[{"id":"https://openalex.org/I4210131288","display_name":"National Engineering School of Tunis","ror":"https://ror.org/03b1zjt31","country_code":"TN","type":"education","lineage":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]},{"id":"https://openalex.org/I142608572","display_name":"Prince Sattam Bin Abdulaziz University","ror":"https://ror.org/04jt46d36","country_code":"SA","type":"education","lineage":["https://openalex.org/I142608572"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["SA","TN"],"is_corresponding":true,"raw_author_name":"Zohra Sba\u00ef","raw_affiliation_strings":["College of Computer Engineering and Sciences, Prince Sattam Bin Abdulaziz University, PO Box 151, Al-Kharj, 11942, Kingdom of Saudi Arabia","National Engineering School of Tunis, Tunis El Manar University, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","National Engineering School of Tunis, Tunis El Manar University, Tunis, Tunisia","College of Computer Engineering and Sciences, Prince Sattam Bin Abdulaziz University, Al-Kharj, Kingdom of Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"College of Computer Engineering and Sciences, Prince Sattam Bin Abdulaziz University, PO Box 151, Al-Kharj, 11942, Kingdom of Saudi Arabia","institution_ids":["https://openalex.org/I142608572"]},{"raw_affiliation_string":"National Engineering School of Tunis, Tunis El Manar University, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]},{"raw_affiliation_string":"National Engineering School of Tunis, Tunis El Manar University, Tunis, Tunisia","institution_ids":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]},{"raw_affiliation_string":"College of Computer Engineering and Sciences, Prince Sattam Bin Abdulaziz University, Al-Kharj, Kingdom of Saudi Arabia","institution_ids":["https://openalex.org/I142608572"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050443319","display_name":"Rahma Ben Ayed","orcid":null},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]},{"id":"https://openalex.org/I4210131288","display_name":"National Engineering School of Tunis","ror":"https://ror.org/03b1zjt31","country_code":"TN","type":"education","lineage":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Rahma Ben Ayed","raw_affiliation_strings":["National Engineering School of Tunis, Tunis El Manar University, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","National Engineering School of Tunis, Tunis El Manar University, Tunis, Tunisia"],"affiliations":[{"raw_affiliation_string":"National Engineering School of Tunis, Tunis El Manar University, BP. 37 Le Belv\u00e9d\u00e8re, 1002, Tunis, Tunisia","institution_ids":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]},{"raw_affiliation_string":"National Engineering School of Tunis, Tunis El Manar University, Tunis, Tunisia","institution_ids":["https://openalex.org/I4210131288","https://openalex.org/I63596082"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5013770247"],"corresponding_institution_ids":["https://openalex.org/I142608572","https://openalex.org/I4210131288","https://openalex.org/I63596082"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.14684422,"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":"242","last_page":"262"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9979000091552734,"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.7931704521179199},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5010354518890381},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.4277772009372711},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3648275136947632},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3115796744823456}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7931704521179199},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5010354518890381},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.4277772009372711},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3648275136947632},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3115796744823456}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-99810-7_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-99810-7_12","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W117556101","https://openalex.org/W137766916","https://openalex.org/W636899416","https://openalex.org/W1521238949","https://openalex.org/W1522386340","https://openalex.org/W1828963152","https://openalex.org/W1841167015","https://openalex.org/W1900558419","https://openalex.org/W1962985716","https://openalex.org/W1981808971","https://openalex.org/W2051068608","https://openalex.org/W2056081080","https://openalex.org/W2101508170","https://openalex.org/W2105389929","https://openalex.org/W2106692345","https://openalex.org/W2112370027","https://openalex.org/W2128993334","https://openalex.org/W2129140418","https://openalex.org/W2151612633","https://openalex.org/W2521752642","https://openalex.org/W2706019717","https://openalex.org/W3103084107"],"related_works":["https://openalex.org/W1559884866","https://openalex.org/W1652311832","https://openalex.org/W2101052162","https://openalex.org/W2135396778","https://openalex.org/W4243252198","https://openalex.org/W2109507516","https://openalex.org/W1604898313","https://openalex.org/W1555256964","https://openalex.org/W1527862632","https://openalex.org/W2118300983"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}