{"id":"https://openalex.org/W2146747439","doi":"https://doi.org/10.1109/robot.1987.1087866","title":"Essentially decision free Petri nets for real-time resource allocation","display_name":"Essentially decision free Petri nets for real-time resource allocation","publication_year":2005,"publication_date":"2005-03-23","ids":{"openalex":"https://openalex.org/W2146747439","doi":"https://doi.org/10.1109/robot.1987.1087866","mag":"2146747439"},"language":"en","primary_location":{"id":"doi:10.1109/robot.1987.1087866","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robot.1987.1087866","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 1987 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/A5026562535","display_name":"Bruce H. Krogh","orcid":"https://orcid.org/0000-0003-1300-3553"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"B. Krogh","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA","Carnegie Mellon University, Pittuburgh, PA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie Mellon University, Pittuburgh, PA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006769834","display_name":"R.S. Sreenivas","orcid":"https://orcid.org/0000-0002-8242-0839"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Sreenivas","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA","Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.2635,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.52954292,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"4","issue":null,"first_page":"1005","last_page":"1011"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"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":1.0,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9973000288009644,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9144874811172485},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8896583318710327},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6860291361808777},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"Resource allocation","score":0.6101654171943665},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5691512227058411},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5648730993270874},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5357598066329956},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.45325571298599243},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4416457414627075},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39093124866485596},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.08987239003181458}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9144874811172485},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8896583318710327},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6860291361808777},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.6101654171943665},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5691512227058411},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5648730993270874},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5357598066329956},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.45325571298599243},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4416457414627075},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39093124866485596},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.08987239003181458},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/robot.1987.1087866","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robot.1987.1087866","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 1987 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1754262902","https://openalex.org/W2023345300","https://openalex.org/W2068247526","https://openalex.org/W2110920108","https://openalex.org/W2160780332","https://openalex.org/W2683418019","https://openalex.org/W4302402540","https://openalex.org/W6740360547"],"related_works":["https://openalex.org/W2124283471","https://openalex.org/W2004753716","https://openalex.org/W3161493205","https://openalex.org/W2382668819","https://openalex.org/W1485251690","https://openalex.org/W2031305780","https://openalex.org/W1504928013","https://openalex.org/W2041808117","https://openalex.org/W2391570358","https://openalex.org/W2355319912"],"abstract_inverted_index":{"Qualitative":[0],"properties":[1],"of":[2,32,46,62,86,107],"Petri":[3,39],"nets":[4,40],"(such":[5],"as":[6],"liveness":[7],"and":[8],"safeness)":[9],"are":[10,74,122],"useful":[11],"in":[12,38,76,96,112,130],"discrete":[13],"manufacturing":[14],"applications":[15],"since":[16],"they":[17],"correspond":[18],"to":[19,42,68,110],"consistent,":[20],"deadlock-free":[21],"control":[22,64],"logic.":[23,99],"In":[24],"this":[25,118],"paper":[26],"we":[27,88],"introduce":[28],"the":[29,44,77,84,97,131],"qualitative":[30],"property":[31],"essentially":[33],"decision":[34],"free":[35],"(EDF)":[36],"places":[37,95],"(PNs)":[41],"represent":[43],"absence":[45],"unresolved":[47],"(nonunique)":[48],"resource":[49,70],"allocation":[50,71,120],"conditions.":[51],"We":[52],"show":[53],"that":[54],"a":[55,90,113],"previously":[56],"developed":[57],"method":[58],"for":[59,92,104],"PN":[60,78,132],"synthesis":[61],"on-line":[63],"logic":[65],"may":[66],"lead":[67],"ambiguous":[69],"conditions":[72,129],"which":[73],"exhibited":[75],"model":[79],"us":[80],"non-EDF":[81,94],"places.":[82],"Using":[83],"theory":[85],"place-invariants,":[87],"develop":[89],"procedure":[91,101],"identifying":[93],"synthesized":[98],"The":[100],"is":[102],"illustrated":[103],"an":[105],"example":[106],"assigning":[108],"robots":[109],"tasks":[111],"flexible":[114],"assembly":[115],"cell.":[116],"For":[117],"example,":[119],"ambiguities":[121],"systematically":[123],"resolved":[124],"by":[125],"introducing":[126],"logical":[127],"NOT":[128],"model.":[133]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}