{"id":"https://openalex.org/W2131506509","doi":"https://doi.org/10.1109/robot.1991.131679","title":"Planning with Pr/T nets","display_name":"Planning with Pr/T nets","publication_year":2002,"publication_date":"2002-12-10","ids":{"openalex":"https://openalex.org/W2131506509","doi":"https://doi.org/10.1109/robot.1991.131679","mag":"2131506509"},"language":"en","primary_location":{"id":"doi:10.1109/robot.1991.131679","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robot.1991.131679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 1991 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-article"},"type":"conference-paper","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/A5060823166","display_name":"D. Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I43522216","display_name":"California State University, Sacramento","ror":"https://ror.org/03e26wv14","country_code":"US","type":"education","lineage":["https://openalex.org/I43522216"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"D. Zhang","raw_affiliation_strings":["Department of Computer Science, California State University, Sacramento, Sacramento, CA, USA","[Department of Computer Science, California State University, Sacramento, CA, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, California State University, Sacramento, Sacramento, CA, USA","institution_ids":["https://openalex.org/I43522216"]},{"raw_affiliation_string":"[Department of Computer Science, California State University, Sacramento, CA, USA]","institution_ids":["https://openalex.org/I43522216"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060823166"],"corresponding_institution_ids":["https://openalex.org/I43522216"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":null,"first_page":"769","last_page":"775"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9983000159263611,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.835844099521637},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6329184770584106},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5276442766189575},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5048116445541382},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.503180205821991},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.48551177978515625},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.4628652036190033},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4473593831062317},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42531663179397583},{"id":"https://openalex.org/keywords/strips","display_name":"STRIPS","score":0.4187435805797577},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39450889825820923},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.25406861305236816},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1861538290977478}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.835844099521637},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6329184770584106},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5276442766189575},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5048116445541382},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.503180205821991},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.48551177978515625},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4628652036190033},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4473593831062317},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42531663179397583},{"id":"https://openalex.org/C200925200","wikidata":"https://www.wikidata.org/wiki/Q7624170","display_name":"STRIPS","level":2,"score":0.4187435805797577},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39450889825820923},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.25406861305236816},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1861538290977478},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/robot.1991.131679","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robot.1991.131679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 1991 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.46000000834465027,"id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W15206906","https://openalex.org/W50425026","https://openalex.org/W125130877","https://openalex.org/W141091451","https://openalex.org/W166242000","https://openalex.org/W1515591117","https://openalex.org/W1566747380","https://openalex.org/W1569731694","https://openalex.org/W1578830675","https://openalex.org/W1598960279","https://openalex.org/W1613651675","https://openalex.org/W1981627423","https://openalex.org/W1997422892","https://openalex.org/W2012228084","https://openalex.org/W2020149918","https://openalex.org/W2039358567","https://openalex.org/W2075996961","https://openalex.org/W2133599336","https://openalex.org/W2147216584","https://openalex.org/W2171798962","https://openalex.org/W2176296250","https://openalex.org/W2337392266","https://openalex.org/W2402164836","https://openalex.org/W2479868023","https://openalex.org/W2631739413","https://openalex.org/W4205768753","https://openalex.org/W6600603040","https://openalex.org/W6605075745","https://openalex.org/W6605792394"],"related_works":["https://openalex.org/W2901417011","https://openalex.org/W4231339125","https://openalex.org/W2162386635","https://openalex.org/W2037849396","https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W1816071588","https://openalex.org/W3023064319","https://openalex.org/W4243171016"],"abstract_inverted_index":{"A":[0],"plan":[1,14,106],"generating":[2,15],"tool":[3],"for":[4,104],"robotic":[5],"applications":[6],"is":[7,17,57],"described.":[8],"The":[9,63],"tool,":[10],"called":[11,30,53],"ROPES":[12],"(robot":[13],"system),":[16],"based":[18],"on":[19],"modeling":[20],"STRIPS-like":[21,37],"rules":[22,38],"by":[23],"a":[24,34,71,98],"special":[25],"type":[26],"of":[27,36,49,79,82],"Petri":[28],"nets":[29],"predicate/transition(Pr/T)":[31],"nets.":[32],"Once":[33],"set":[35],"gets":[39],"translated":[40],"into":[41],"its":[42],"Pr/T":[43,51],"net":[44],"equivalence,":[45],"an":[46],"analysis":[47],"technique":[48],"the":[50,54,77,80,83],"nets,":[52],"T-invariant":[55],"method,":[56],"utilized":[58],"to":[59],"generate":[60],"robot":[61],"plans.":[62],"research":[64],"results":[65],"have":[66],"indicated":[67],"that":[68,74],"ROPES:":[69],"provides":[70],"domain-independent":[72],"formalism":[73],"blends":[75],"together":[76],"concepts":[78],"state":[81],"world,":[84],"actions,":[85],"goals,":[86],"and":[87,91,101,108],"plans;":[88],"supports":[89],"conjunctive":[90],"hierarchical":[92],"planning:":[93],"handles":[94],"nonlinear":[95],"plans":[96],"in":[97],"effective":[99],"way;":[100],"offers":[102],"facilities":[103],"monitoring":[105],"execution":[107],"recovery.<":[109],"<ETX":[110],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[111],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">&gt;</ETX>":[112]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}