{"id":"https://openalex.org/W1513915867","doi":"https://doi.org/10.1109/icsmc.2003.1245627","title":"P/spl I.bar/DROCE model based supply chain management system and its verification","display_name":"P/spl I.bar/DROCE model based supply chain management system and its verification","publication_year":2004,"publication_date":"2004-04-23","ids":{"openalex":"https://openalex.org/W1513915867","doi":"https://doi.org/10.1109/icsmc.2003.1245627","mag":"1513915867"},"language":"en","primary_location":{"id":"doi:10.1109/icsmc.2003.1245627","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2003.1245627","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)","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/A5100755937","display_name":"Tao Hu","orcid":"https://orcid.org/0000-0002-0274-2513"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Hu","raw_affiliation_strings":["Computer Science Department, Shanghai Jiaotong University, Shanghai, China","Dept. of Computer Science, Shanghai Jiao Tong University, China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Shanghai Jiaotong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Dept. of Computer Science, Shanghai Jiao Tong University, China#TAB#","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077062106","display_name":"Shensheng Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shensheng Zhang","raw_affiliation_strings":["Computer Science Department, Shanghai Jiaotong University, Shanghai, China","Dept. of Computer Science, Shanghai Jiao Tong University, China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Shanghai Jiaotong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Dept. of Computer Science, Shanghai Jiao Tong University, China#TAB#","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106596973","display_name":"LI Bao-hong","orcid":"https://orcid.org/0000-0002-3222-002X"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Baohong Li","raw_affiliation_strings":["Computer Science Department, Shanghai Jiaotong University, Shanghai, China","Dept. of Computer Science, Shanghai Jiao Tong University, China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Shanghai Jiaotong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Dept. of Computer Science, Shanghai Jiao Tong University, China#TAB#","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":null,"first_page":"4085","last_page":"4090"},"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.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/T11125","display_name":"Petri Nets in System Modeling","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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9984999895095825,"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"}},{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9940000176429749,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7264036536216736},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6655833721160889},{"id":"https://openalex.org/keywords/supply-chain","display_name":"Supply chain","score":0.6284009218215942},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.5977197885513306},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5767780542373657},{"id":"https://openalex.org/keywords/bar","display_name":"Bar (unit)","score":0.5390583276748657},{"id":"https://openalex.org/keywords/supply-chain-management","display_name":"Supply chain management","score":0.5175923109054565},{"id":"https://openalex.org/keywords/workflow-management-system","display_name":"Workflow management system","score":0.49439096450805664},{"id":"https://openalex.org/keywords/business-process-management","display_name":"Business process management","score":0.4683729112148285},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.2544357180595398},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22277197241783142},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.14962804317474365},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.1461600661277771},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.12395438551902771},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.12316319346427917}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7264036536216736},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6655833721160889},{"id":"https://openalex.org/C108713360","wikidata":"https://www.wikidata.org/wiki/Q1824206","display_name":"Supply chain","level":2,"score":0.6284009218215942},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5977197885513306},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5767780542373657},{"id":"https://openalex.org/C188721877","wikidata":"https://www.wikidata.org/wiki/Q103510","display_name":"Bar (unit)","level":2,"score":0.5390583276748657},{"id":"https://openalex.org/C44104985","wikidata":"https://www.wikidata.org/wiki/Q492886","display_name":"Supply chain management","level":3,"score":0.5175923109054565},{"id":"https://openalex.org/C140824633","wikidata":"https://www.wikidata.org/wiki/Q2808660","display_name":"Workflow management system","level":3,"score":0.49439096450805664},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.4683729112148285},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2544357180595398},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22277197241783142},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.14962804317474365},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.1461600661277771},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.12395438551902771},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.12316319346427917},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C153294291","wikidata":"https://www.wikidata.org/wiki/Q25261","display_name":"Meteorology","level":1,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsmc.2003.1245627","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2003.1245627","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1486235427","https://openalex.org/W1503973138","https://openalex.org/W1537911604","https://openalex.org/W1578481380","https://openalex.org/W1986460612","https://openalex.org/W2106455253","https://openalex.org/W2128932399","https://openalex.org/W2589217375","https://openalex.org/W3144368627","https://openalex.org/W4230776130","https://openalex.org/W4246840308","https://openalex.org/W6630104300","https://openalex.org/W6632025653","https://openalex.org/W6634533585","https://openalex.org/W6676995014","https://openalex.org/W7064420793"],"related_works":["https://openalex.org/W2005124518","https://openalex.org/W1500719467","https://openalex.org/W1823477348","https://openalex.org/W4289825098","https://openalex.org/W2488068909","https://openalex.org/W2390437968","https://openalex.org/W78688763","https://openalex.org/W2074731606","https://openalex.org/W2148494579","https://openalex.org/W2294096527"],"abstract_inverted_index":{"According":[0],"to":[1,26,114],"supply":[2,19,83,134],"chain's":[3],"junction":[4],"views":[5],"and":[6,52,79,103,122],"its":[7],"lifecycle,":[8],"a":[9,82,108],"model":[10,22,40,43,46,49,54,59,78],"called":[11],"P/spl":[12,37,57,76,99,118],"I.bar/DROCE":[13,38,58,77,100,119],"is":[14,24,60,88,127],"provided":[15],"as":[16,65,101],"an":[17],"integrated":[18,69],"chain":[20,84,135],"workflow":[21,72,85,136],"that":[23],"proved":[25],"support":[27],"concurrent":[28],"engineering":[29],"effectively.":[30],"It":[31],"consists":[32],"of":[33,97,132],"five":[34],"sub-models:":[35],"business":[36,80,117],"process":[39],"(P),":[41],"order":[42],"(D),":[44],"resource":[45],"(R),":[47],"organization":[48],"(O),":[50],"cost":[51],"evaluation":[53],"(CE).":[55],"The":[56],"different":[61],"from":[62],"other":[63],"modes":[64],"it":[66,126],"can":[67],"be":[68],"by":[70],"the":[71,95,116,129,133],"system.":[73,138],"Based":[74],"on":[75],"rules,":[81],"management":[86,137],"system":[87],"introduced.":[89],"As":[90],"Petri":[91],"net":[92],"theory":[93],"lacks":[94],"ability":[96],"expressing":[98],"behaviors":[102,121],"mobility,":[104],"we":[105],"put":[106],"forward":[107],"method":[109],"using":[110],"/spl":[111],"pi/":[112],"calculus":[113],"describe":[115],"processes":[120],"communications.":[123],"At":[124],"last,":[125],"given":[128],"formal":[130],"verification":[131]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}