{"id":"https://openalex.org/W2018183363","doi":"https://doi.org/10.1016/s0950-5849(02)00048-4","title":"A methodology of testing high-level Petri nets","display_name":"A methodology of testing high-level Petri nets","publication_year":2002,"publication_date":"2002-06-01","ids":{"openalex":"https://openalex.org/W2018183363","doi":"https://doi.org/10.1016/s0950-5849(02)00048-4","mag":"2018183363"},"language":"en","primary_location":{"id":"doi:10.1016/s0950-5849(02)00048-4","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0950-5849(02)00048-4","pdf_url":null,"source":{"id":"https://openalex.org/S205010575","display_name":"Information and Software Technology","issn_l":"0950-5849","issn":["0950-5849","1873-6025"],"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":"Information and Software Technology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://radar.brookes.ac.uk/radar/file/02ae109a-8f83-bdf7-21af-4d69b42c879f/1/zhu2002methodologypp.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101595936","display_name":"Hong Zhu","orcid":"https://orcid.org/0000-0001-9393-5005"},"institutions":[{"id":"https://openalex.org/I124261462","display_name":"Oxford Brookes University","ror":"https://ror.org/04v2twj65","country_code":"GB","type":"education","lineage":["https://openalex.org/I124261462"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Hong Zhu","raw_affiliation_strings":["School of Computing and Mathematical Sciences, Oxford Brookes University, Wheatley Campus, Oxford OX3 0BP, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing and Mathematical Sciences, Oxford Brookes University, Wheatley Campus, Oxford OX3 0BP, UK","institution_ids":["https://openalex.org/I124261462"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101463431","display_name":"Xudong He","orcid":"https://orcid.org/0000-0002-9879-6232"},"institutions":[{"id":"https://openalex.org/I19700959","display_name":"Florida International University","ror":"https://ror.org/02gz6gg07","country_code":"US","type":"education","lineage":["https://openalex.org/I19700959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xudong He","raw_affiliation_strings":["School of Computer Science, Florida International University, University Park, Miami, FL 33199, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Florida International University, University Park, Miami, FL 33199, USA","institution_ids":["https://openalex.org/I19700959"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101595936"],"corresponding_institution_ids":["https://openalex.org/I124261462"],"apc_list":{"value":3830,"currency":"USD","value_usd":3830},"apc_paid":null,"fwci":1.2191,"has_fulltext":true,"cited_by_count":57,"citation_normalized_percentile":{"value":0.83952528,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"44","issue":"8","first_page":"473","last_page":"489"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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.8122473955154419},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7597026824951172},{"id":"https://openalex.org/keywords/test-strategy","display_name":"Test strategy","score":0.5304417014122009},{"id":"https://openalex.org/keywords/keyword-driven-testing","display_name":"Keyword-driven testing","score":0.5249079465866089},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5098606944084167},{"id":"https://openalex.org/keywords/non-regression-testing","display_name":"Non-regression testing","score":0.5025036334991455},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.48805201053619385},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.4860120713710785},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4757513701915741},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.4726661145687103},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.468083918094635},{"id":"https://openalex.org/keywords/system-testing","display_name":"System testing","score":0.4675033986568451},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.45519956946372986},{"id":"https://openalex.org/keywords/manual-testing","display_name":"Manual testing","score":0.44247370958328247},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.4347338378429413},{"id":"https://openalex.org/keywords/software-performance-testing","display_name":"Software performance testing","score":0.41937902569770813},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.41716691851615906},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3989896774291992},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.28482672572135925},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.2755550146102905},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1518770158290863},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.09407326579093933}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8122473955154419},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7597026824951172},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.5304417014122009},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.5249079465866089},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5098606944084167},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.5025036334991455},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.48805201053619385},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.4860120713710785},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4757513701915741},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.4726661145687103},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.468083918094635},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.4675033986568451},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.45519956946372986},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.44247370958328247},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.4347338378429413},{"id":"https://openalex.org/C178059732","wikidata":"https://www.wikidata.org/wiki/Q1982529","display_name":"Software performance testing","level":5,"score":0.41937902569770813},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.41716691851615906},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3989896774291992},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.28482672572135925},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2755550146102905},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1518770158290863},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.09407326579093933},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s0950-5849(02)00048-4","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0950-5849(02)00048-4","pdf_url":null,"source":{"id":"https://openalex.org/S205010575","display_name":"Information and Software Technology","issn_l":"0950-5849","issn":["0950-5849","1873-6025"],"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":"Information and Software Technology","raw_type":"journal-article"},{"id":"pmh:tle:02ae109a-8f83-bdf7-21af-4d69b42c879f:b4ef9587-4603-18f8-a471-bb20511f0ad9:1","is_oa":true,"landing_page_url":"https://radar.brookes.ac.uk/radar/items/02ae109a-8f83-bdf7-21af-4d69b42c879f/1","pdf_url":"https://radar.brookes.ac.uk/radar/file/02ae109a-8f83-bdf7-21af-4d69b42c879f/1/zhu2002methodologypp.pdf","source":{"id":"https://openalex.org/S4306400541","display_name":"Radar (Oxford Brookes University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124261462","host_organization_name":"Oxford Brookes University","host_organization_lineage":["https://openalex.org/I124261462"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information and Software Technology","raw_type":"article"}],"best_oa_location":{"id":"pmh:tle:02ae109a-8f83-bdf7-21af-4d69b42c879f:b4ef9587-4603-18f8-a471-bb20511f0ad9:1","is_oa":true,"landing_page_url":"https://radar.brookes.ac.uk/radar/items/02ae109a-8f83-bdf7-21af-4d69b42c879f/1","pdf_url":"https://radar.brookes.ac.uk/radar/file/02ae109a-8f83-bdf7-21af-4d69b42c879f/1/zhu2002methodologypp.pdf","source":{"id":"https://openalex.org/S4306400541","display_name":"Radar (Oxford Brookes University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124261462","host_organization_name":"Oxford Brookes University","host_organization_lineage":["https://openalex.org/I124261462"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Information and Software Technology","raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2018183363.pdf","grobid_xml":"https://content.openalex.org/works/W2018183363.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W74669360","https://openalex.org/W613648401","https://openalex.org/W1485288488","https://openalex.org/W1508279398","https://openalex.org/W1534553291","https://openalex.org/W1596127723","https://openalex.org/W1966750520","https://openalex.org/W1978469611","https://openalex.org/W1985551847","https://openalex.org/W1993243964","https://openalex.org/W1995834002","https://openalex.org/W1997041205","https://openalex.org/W1997422892","https://openalex.org/W2004929506","https://openalex.org/W2005150099","https://openalex.org/W2008176975","https://openalex.org/W2010403270","https://openalex.org/W2010463156","https://openalex.org/W2027106228","https://openalex.org/W2027711654","https://openalex.org/W2043292640","https://openalex.org/W2045824418","https://openalex.org/W2051374949","https://openalex.org/W2071756645","https://openalex.org/W2095600927","https://openalex.org/W2102097307","https://openalex.org/W2105394284","https://openalex.org/W2114503251","https://openalex.org/W2119893607","https://openalex.org/W2121669067","https://openalex.org/W2125831829","https://openalex.org/W2140007725","https://openalex.org/W2150288151","https://openalex.org/W2151549581","https://openalex.org/W2154897437","https://openalex.org/W2156313607","https://openalex.org/W2157144873","https://openalex.org/W2170108788","https://openalex.org/W2171207016","https://openalex.org/W2532995438","https://openalex.org/W2536908262","https://openalex.org/W2603377695","https://openalex.org/W2913048148","https://openalex.org/W4252055977","https://openalex.org/W4285719527","https://openalex.org/W6601667473","https://openalex.org/W6646568061","https://openalex.org/W6648433437","https://openalex.org/W6661076086","https://openalex.org/W6661893908","https://openalex.org/W6675730002","https://openalex.org/W6676958362","https://openalex.org/W6678284550","https://openalex.org/W6681904051","https://openalex.org/W6682417413","https://openalex.org/W6683257063","https://openalex.org/W7015768510"],"related_works":["https://openalex.org/W2560445721","https://openalex.org/W4389884952","https://openalex.org/W3214776400","https://openalex.org/W3197709817","https://openalex.org/W4225834158","https://openalex.org/W2915670848","https://openalex.org/W2988650652","https://openalex.org/W2132296233","https://openalex.org/W2362944210","https://openalex.org/W4320027153"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":3}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}