{"id":"https://openalex.org/W2011784530","doi":"https://doi.org/10.1002/spe.4380240805","title":"An interactive tool for design, simulation, verification, and synthesis of protocols","display_name":"An interactive tool for design, simulation, verification, and synthesis of protocols","publication_year":1994,"publication_date":"1994-08-01","ids":{"openalex":"https://openalex.org/W2011784530","doi":"https://doi.org/10.1002/spe.4380240805","mag":"2011784530"},"language":"en","primary_location":{"id":"doi:10.1002/spe.4380240805","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380240805","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},"type":"article","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/A5111529913","display_name":"Daniel Yuh Chao","orcid":null},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]},{"id":"https://openalex.org/I4210115985","display_name":"For farmers (United Kingdom)","ror":"https://ror.org/024g9p727","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210115985"]}],"countries":["GB","US"],"is_corresponding":true,"raw_author_name":"Daniel Y. Chao","raw_affiliation_strings":["Institute for Integrated Systems Research, Department of Computer and Information Science, New Jersey Institute of Technology, Newark, NJ 07102, U.S.A","The former name of the first author was Yuh Yaw, which has appeared in some of his earlier papers"],"affiliations":[{"raw_affiliation_string":"Institute for Integrated Systems Research, Department of Computer and Information Science, New Jersey Institute of Technology, Newark, NJ 07102, U.S.A","institution_ids":["https://openalex.org/I118118575"]},{"raw_affiliation_string":"The former name of the first author was Yuh Yaw, which has appeared in some of his earlier papers","institution_ids":["https://openalex.org/I4210115985"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077684688","display_name":"David T. Wang","orcid":"https://orcid.org/0000-0002-2656-8951"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"David T. Wang","raw_affiliation_strings":["Institute for Integrated Systems Research, Department of Computer and Information Science, New Jersey Institute of Technology, Newark, NJ 07102, U.S.A"],"affiliations":[{"raw_affiliation_string":"Institute for Integrated Systems Research, Department of Computer and Information Science, New Jersey Institute of Technology, Newark, NJ 07102, U.S.A","institution_ids":["https://openalex.org/I118118575"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5077684688","https://openalex.org/A5111529913"],"corresponding_institution_ids":["https://openalex.org/I118118575","https://openalex.org/I4210115985"],"apc_list":{"value":4220,"currency":"USD","value_usd":4220},"apc_paid":null,"fwci":2.7815,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.90823699,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"8","first_page":"747","last_page":"783"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9980999827384949,"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/computer-science","display_name":"Computer science","score":0.6357422471046448},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3817853033542633}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6357422471046448},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3817853033542633}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/spe.4380240805","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380240805","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.14.435","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.435","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/./vol24/issue8/spe909.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4000000059604645,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W154539803","https://openalex.org/W163928954","https://openalex.org/W1522967136","https://openalex.org/W1534926211","https://openalex.org/W1554518994","https://openalex.org/W1567759971","https://openalex.org/W1589448089","https://openalex.org/W1866256700","https://openalex.org/W1974467232","https://openalex.org/W1979799094","https://openalex.org/W1980926994","https://openalex.org/W1984814987","https://openalex.org/W1987377075","https://openalex.org/W1987433648","https://openalex.org/W1988698058","https://openalex.org/W1991992949","https://openalex.org/W1994188141","https://openalex.org/W1997871183","https://openalex.org/W2002371579","https://openalex.org/W2003549423","https://openalex.org/W2011723719","https://openalex.org/W2018205453","https://openalex.org/W2039853888","https://openalex.org/W2048616776","https://openalex.org/W2049477627","https://openalex.org/W2055886058","https://openalex.org/W2056800297","https://openalex.org/W2061464627","https://openalex.org/W2070245355","https://openalex.org/W2070595707","https://openalex.org/W2087028369","https://openalex.org/W2097786642","https://openalex.org/W2099037711","https://openalex.org/W2100580381","https://openalex.org/W2110920108","https://openalex.org/W2116571756","https://openalex.org/W2121491824","https://openalex.org/W2126736658","https://openalex.org/W2130225021","https://openalex.org/W2130722757","https://openalex.org/W2133153642","https://openalex.org/W2135493504","https://openalex.org/W2136535369","https://openalex.org/W2140605597","https://openalex.org/W2146417728","https://openalex.org/W2147539576","https://openalex.org/W2151669009","https://openalex.org/W2155610479","https://openalex.org/W2160780332","https://openalex.org/W2163815134","https://openalex.org/W2164198791","https://openalex.org/W2303877724","https://openalex.org/W2683418019","https://openalex.org/W4238889633","https://openalex.org/W4241782531","https://openalex.org/W4247116705","https://openalex.org/W4253472917","https://openalex.org/W6645275246"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"have":[2],"developed":[3],"a":[4],"user\u2010friendly":[5],"CAD":[6],"graphical":[7],"tool":[8,22,34,101],"for":[9,23],"the":[10,36],"design,":[11],"verification,":[12],"simulation,":[13,93],"and":[14,26,42,46,52,57,64,69,84,92],"synthesis":[15,60],"of":[16,32,38,49,99],"protocols":[17,56],"based":[18],"on":[19],"an":[20],"interactive":[21],"Petri":[24,66],"net":[25],"state":[27],"diagram":[28],"designs.":[29],"Special":[30],"features":[31],"this":[33,100],"are:":[35],"capability":[37],"modeling":[39],"both":[40],"control":[41],"data":[43],"flows,":[44],"reduction":[45],"analysis,":[47],"simulation":[48,79],"network":[50],"behavior":[51],"performance,":[53],"coding":[54],"(parametrized":[55],"automatic":[58],"implementation),":[59],"(two":[61],"party":[62],"protocol":[63],"ordinary":[65],"nets),":[67],"animation":[68],"flexible":[70],"design.":[71],"Since":[72],"it":[73,77],"is":[74],"Petri\u2010net":[75],"based,":[76],"allows":[78],"during":[80],"all":[81],"design":[82],"phases":[83],"has":[85],"extensive":[86],"applications":[87],"such":[88],"as":[89],"parallel":[90],"debugging":[91],"expert":[94],"systems,":[95],"etc.":[96],"Future":[97],"enhancements":[98],"are":[102],"also":[103],"discussed.":[104]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}