{"id":"https://openalex.org/W1556105277","doi":"https://doi.org/10.1007/3-540-46029-2_12","title":"Symbolic Methods for the State Space Exploration of GSPN Models","display_name":"Symbolic Methods for the State Space Exploration of GSPN Models","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W1556105277","doi":"https://doi.org/10.1007/3-540-46029-2_12","mag":"1556105277"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-46029-2_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-46029-2_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/A5007791899","display_name":"Ian Davies","orcid":null},"institutions":[{"id":"https://openalex.org/I157614274","display_name":"University of Cape Town","ror":"https://ror.org/03p74gp79","country_code":"ZA","type":"education","lineage":["https://openalex.org/I157614274"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"Ian Davies","raw_affiliation_strings":["Department of Computer Science, University of Cape Town, Rondebosch, 7700, South Africa"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Cape Town, Rondebosch, 7700, South Africa","institution_ids":["https://openalex.org/I157614274"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050119476","display_name":"William J. Knottenbelt","orcid":"https://orcid.org/0000-0002-8490-1011"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"William J. Knottenbelt","raw_affiliation_strings":["Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen\u2019s Gate, London, SW7 2BZ, UK","Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London, SW7 2BZ, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen\u2019s Gate, London, SW7 2BZ, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London, SW7 2BZ, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039048903","display_name":"Pieter S. Kritzinger","orcid":null},"institutions":[{"id":"https://openalex.org/I157614274","display_name":"University of Cape Town","ror":"https://ror.org/03p74gp79","country_code":"ZA","type":"education","lineage":["https://openalex.org/I157614274"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Pieter S. Kritzinger","raw_affiliation_strings":["Department of Computer Science, University of Cape Town, Rondebosch, 7700, South Africa"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Cape Town, Rondebosch, 7700, South Africa","institution_ids":["https://openalex.org/I157614274"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5007791899"],"corresponding_institution_ids":["https://openalex.org/I157614274"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.7996,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.84454605,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"188","last_page":"199"},"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.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/T11125","display_name":"Petri Nets in System Modeling","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/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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9972000122070312,"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/computer-science","display_name":"Computer science","score":0.8197360038757324},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.772026002407074},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7215328216552734},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.6421912312507629},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6197214722633362},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6042928695678711},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.5776522159576416},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5714707374572754},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5651426315307617},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5240290760993958},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4369000494480133},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17669475078582764},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09937611222267151}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8197360038757324},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.772026002407074},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7215328216552734},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.6421912312507629},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6197214722633362},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6042928695678711},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.5776522159576416},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5714707374572754},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5651426315307617},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5240290760993958},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4369000494480133},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17669475078582764},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09937611222267151},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"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":2,"locations":[{"id":"doi:10.1007/3-540-46029-2_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-46029-2_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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.96.5289","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.5289","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.doc.ic.ac.uk/~wjk/publications/davies-knottenbelt-kritzinger-tools-2002.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5099999904632568,"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1492259997","https://openalex.org/W1511470875","https://openalex.org/W1596186423","https://openalex.org/W1655884486","https://openalex.org/W1718783241","https://openalex.org/W1761594039","https://openalex.org/W1836481452","https://openalex.org/W1952732242","https://openalex.org/W2000256138","https://openalex.org/W2030224590","https://openalex.org/W2061438988","https://openalex.org/W2079636926","https://openalex.org/W2080267935","https://openalex.org/W2130918115","https://openalex.org/W2135453964","https://openalex.org/W2141472133","https://openalex.org/W2147664171","https://openalex.org/W2166520488","https://openalex.org/W2167435507","https://openalex.org/W4246239274","https://openalex.org/W4247155165","https://openalex.org/W4253970047"],"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/W2062463517"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}