Errata to “A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language” [jan 09 94-106]

Wei Tan,Yushun Fan,MengChu Zhou

DOI: https://doi.org/10.1109/tase.2009.2018013

IF: 6.636

2009-01-01

IEEE Transactions on Automation Science and Engineering

Abstract:In the above titled paper (ibid., vol. 6, no. 1, pp. 94-106, Jan 09), Fig. 1 was incorrect. The correct figure is presented here.

What problem does this paper attempt to address?

Errata to "A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language" [Jan 09 94-106]

Wei Tan,Yushun Fan,MengChu Zhou

DOI: https://doi.org/10.1109/TASE.2009.2018013

IF: 6.636

2009-01-01

IEEE Transactions on Automation Science and Engineering

Abstract:In the above titled paper (ibid., vol. 6, no. 1, pp. 94-106, Jan 09), Fig. 1 was incorrect. The correct figure is presented here.
Corrigendum to “from Phenotype to Gene: Detecting Disease‐specific Gene Functional Modules Via a Text‐based Human Disease Phenotype Network Construction” [FEBS Lett. 584 (2010) 3635–3643]

Shihua Zhang,Chao Wu,Xia Li,Xi Chen,Wei Jiang,Binsheng Gong,Li Jiang,Yuqing Yan

DOI: https://doi.org/10.1016/j.febslet.2012.12.013

2012-01-01

FEBS Letters

Abstract:The name of the first author was misspelled. The correct name should read: Shihua Zhang.
Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving"

Yang Wang,Peng Zhang,Maolin Sun,Zeyu Lu,Yibiao Yang,Yutian Tang,Junyan Qian,Zhi Li,Yuming Zhou

DOI: https://doi.org/10.1109/tse.2023.3339345

IF: 7.4

2024-02-02

IEEE Transactions on Software Engineering

Abstract:In [1, p. 4967], a figure citation is incorrect and "Fig. 3(c)" should be "Fig. 1(c)" in the left column, the fourth line from the bottom. It is corrected below.

engineering, electrical & electronic,computer science, software engineering
A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language

Wei Tan,Yushun Fan,MengChu Zhou

DOI: https://doi.org/10.1109/tase.2008.916747

IF: 6.636

2009-01-01

IEEE Transactions on Automation Science and Engineering

Abstract:Automatic Web service composition is gaining momentum as the potential silver bullet in service oriented architecture. The need for interservice compatibility analysis and indirect composition has gone beyond what the existing service composition/verification technologies can handle. Given two services whose interface invocation constraints are described by a Web services-business process execution language (WS-BPEL or BPEL), we analyze their compatibility and adopt mediation as a lightweight approach to make them compatible without changing their internal logic. We first transform a BPEL description into a service workflow net, which is a kind of colored Petri net (CPN). Based on this formalism, we analyze the compatibility of two services, and then devise an approach to check whether there exists any message mediator so that their composition does not violate the constraints imposed by either side. The method for mediator generation is finally proposed to assist the automatic composition of partially compatible services. Our approach is validated through a real-life case and further research directions are pointed out.
Correction to (quote)Simultaneous stabilization via static output feedback and state feedback(quote)

Yong-yan Cao,You-xian Sun,James Lam

DOI: https://doi.org/10.1109/TAC.1999.780442

1999-01-01

Abstract:In the above-mentioned paper (ibiid., vol. 44, pp. 1277??1282, June 1999), the address for the first author was listed incorrectly. The appropriate contact information appears herein.
Erratum to “Vulnerability Identification and Evaluation of Interdependent Natural Gas-Electricity Systems” [Jul 20 3558-3569]

Lu Nan,Lei Wu,Tianqi Liu,Yikui Liu,Chuan He

DOI: https://doi.org/10.1109/tsg.2020.3006974

IF: 10.275

2020-09-01

IEEE Transactions on Smart Grid

Abstract:In [1], there was an error in equation (37). It should be as follows:

engineering, electrical & electronic
Petri net based web service interactive behavior compatibility analysis

Zhang Shuai,Sun Jianling,Yin Keting,Xu Bin

DOI: https://doi.org/10.1109/ISBIM.2008.106

2009-01-01

Abstract:Verification of services compatibility is an important issue in Web Services composition. With the growing of grain size, services will become more complicated with internal business processes and will have interactions with other services while composition. This paper proposed a Petri Net based approach to analyze the Web Services interactive behaviors compatibility. First, the interacting services are merging and reducing into a composite service. Based on the introduction of an analysis method called the reachability tree, the behavior of composite service can be then verified. At last, two case studies are used to show how the compatibility issue can be detected quantitatively using this approach. © 2008 IEEE.
Erratum to “The Possibility of Changing the Wettability of Material Surface by Adjusting Gravity”

Yong-Ming Liu,Zi-Qing Wu,Sheng Bao,Wei-Hong Guo,Da-Wei Li,Jin He,Xiang-Bin Zeng,Lin-Jun Huang,Qin-Qin Lu,Yun-Zhu Guo,Rui-Qing Chen,Ya-Jing Ye,Chen-Yan Zhang,Xu-Dong Deng,Da-Chuan Yin

DOI: https://doi.org/10.34133/2020/7646809

IF: 11

2020-03-20

Research

Abstract:In the article titled "The Possibility of Changing the Wettability of Material Surface by Adjusting Gravity" [<a href="#B1">1</a>], there were errors in Figure 2 which occurred during production. These errors are listed below, and the corrected version is shown as Figure <a href="fig1/">1</a>:

multidisciplinary sciences
Correction: Li, S. Et Al. Research on a Power Management System for Thermoelectric Generators to Drive Wireless Sensors on a Spindle Unit. Sensors 2014, 14, 12701–12714

Sheng Li,Xinhua Yao,Jianzhong Fu

DOI: https://doi.org/10.3390/s150820541

IF: 3.9

2015-01-01

Sensors

Abstract:The authors wish to make the following corrections to this paper [1]. [...]
Corrections to "Academic Review and Perspectives on Robotic Exoskeletons"

Guanjun Bao,Lufeng Pan,Hui Fang,Xinyu Wu,Haoyong Yu,Shibo Cai,Bingqing Yu,Yuehua Wan

DOI: https://doi.org/10.1109/TNSRE.2020.2974032

Abstract:We have noticed some errors in the above-titled paper (DOI: 10.1109/TNSRE.2019.2944655) [1].
Erratum to: Swimming Behavior Analysis Based on Bacterial Chemotaxis in Solution

Bin He,Zhipeng Wang,Chaoqun Liu,Yonggang Li,Runjie Shen

DOI: https://doi.org/10.1016/s1672-6529(12)60192-9

IF: 2.995

2012-01-01

Journal of Bionic Engineering

Abstract:Fig. 6 of Ref. [ 1 ] (page 317) should be replaced by the figure in the right, in which the words “cathode” and “anode” are exchanged. Also on the same page the following corrections should be made: Left column, line 7 from the bottom, “cathode anode” should be replaced by “anode and cathode”; Right column, line 5 from the top, “anode” should be replace by “cathode”, and “cathode” should be replace by “anode”. Fig. 6 Circular electrolysis device (On actual PCB board, anode and cathode at different layer on the board). The authors apologize for the mistakes in their original manuscript.
Erratum to “Resilience-Motivated Distribution System Restoration Considering Electricity-Water-Gas Interdependency”

Jiaxu Li,Yin Xu,Ying Wang,Meng Li,Jinghan He,Chen-Ching Liu,Kevin P. Schneider

DOI: https://doi.org/10.1109/tsg.2022.3143014

IF: 10.275

2022-05-01

IEEE Transactions on Smart Grid

Abstract:In [1], during typesetting process, some mistakes were made in symbols. The errors and corrections are listed below. The errors are highlighted in blue. The corrections are highlighted in red.

engineering, electrical & electronic
Corrections to “Improved Renyi Entropy Benchmark for Performance Assessment of Common Cascade Control System”

Qian Zhang,Ya-Gang Wang,Fei-Fei Lee,Qiu Chen,Zhen Sun

DOI: https://doi.org/10.1109/access.2023.3287034

IF: 3.9

2023-01-01

IEEE Access

Abstract:In the above article [1], the affiliation of the coauthor Qiu Chen is currently listed incorrectly. His correct affiliation should be stated as “Major of Electrical Engineering and Electronics, Graduate School of Engineering, Kogakuin University, Tokyo, Japan.” Furthermore, it is necessary to rectify the biographical details of the coauthor Qiu Chen as follows:

computer science, information systems,telecommunications,engineering, electrical & electronic
Erratum to “Accurate Sub-Structure Characteristic Mode Analysis of Dielectric Resonator Antennas With Finite Ground Plane” [Oct 21 6930-6935]

Shaode Huang,Chao-Fu Wang,Jin Pan,Deqiang Yang

DOI: https://doi.org/10.1109/tap.2022.3155267

IF: 5.7

2022-04-01

IEEE Transactions on Antennas and Propagation

Abstract:In the above article [1], the title was written as: "Accurate Sub-Structure Characteristic Mode Analysis of Dielectric Resonator Antennas With Finite Ground Plan."

telecommunications,engineering, electrical & electronic
Modeling and Correctness Checking of Petri-Net-Based Workflow

ZHOU Fu-Ming,WU Bin,GU Qing,CHEN Dao-Xu

DOI: https://doi.org/10.3969/j.issn.1002-137X.2005.02.033

2005-01-01

Computer Science

Abstract:There are a lot of modeling and analysis tools available for workflow,but Petri nets is more preferable be- cause of its solid mathematical foundation and graphical nature. This paper introduces the notion of WF-Net and the method modeling workflow with WF-Net. At last,this paper introduces the definition of correctness offered by Aalst, and presents an algorithm based on it to check the correctness of the WF-Net.
Corrections to "Joint Task Offloading and Resource Allocation for Multi-Access Edge Computing Assisted by Parked and Moving Vehicles"

Wenhao Fan,Jie Liu,Mingyu Hua,Fan Wu,Yuanaan Liu

DOI: https://doi.org/10.1109/tvt.2022.3206557

IF: 6.8

2022-11-05

IEEE Transactions on Vehicular Technology

Abstract:In the above paper [1], an inadvertent table was added. Thereby, Tables II and III are incorrect. The corrected tables are shown here.

telecommunications,engineering, electrical & electronic,transportation science & technology
A Petri Net Approach to Analysis and Composition of Web Services

PengCheng Xiong,YuShun Fan,MengChu Zhou

DOI: https://doi.org/10.1109/tsmca.2009.2037018

2010-01-01

Abstract:Business process execution language for Web services (BPEL) is becoming the industrial standard for modeling Web-service-based business processes. Behavioral compatibility for Web service composition is one of the most important topics. The commonly used reachability exploration method focuses on verifying deadlock freeness. When this property is violated, the states and traces in the reachability graph only give clues to redesign the composition. The redesign must then repeat itself until no deadlock is found. In this paper, multiple Web service interaction is modeled with a Petri net called composition net (C-net for short). The problem of behavioral compatibility among Web services is hence transformed into the deadlock structure problem of a C-net. If services are incompatible, a policy based on appending additional information channels is proposed. It is proved that the policy can offer a good solution that can be mapped back into the BPEL models automatically.
Erratum To: Control of Distributed Parameter and Stochastic Systems

Shuping Chen,Xunjing Li,Jiongmin Yong,Xun Yu Zhou

DOI: https://doi.org/10.1007/978-0-387-35359-3_40

2017-01-01

Abstract:Erratum to: S. Chen et al. (Eds.) Control of Distributed Parameter and Stochastic Systems DOI: 10.1007/978-0-387-35359-3 The book was inadvertently published with an incorrect name of the copyright holder. The name of the copyright holder for this book is: © IFIP International Federation for Information Processing. The book has been updated with the changes.
Corrections to “A Reliable Medium-Voltage High-Power Conversion System for MWs Wind Turbines” [Apr 20 859-867]

Yonglei Zhang,Xibo Yuan,Mo Al-Akayshee

DOI: https://doi.org/10.1109/TSTE.2023.3235219

IF: 8.31

2023-01-01

IEEE Transactions on Sustainable Energy

Abstract:This addresses errors in [1]. The first author's affiliation information in the footnote is mistyped. The corrected sentence should read:
Corrections to “Real-Time High Realistic Web Display Method of Complex 3D Model”

Qiong Lu,Zhizhong Wang,Haibo Chen,Chuan Xie,Xiaolong Ma,Wei Xing,Lei Zhao,Zhijie Lin

DOI: https://doi.org/10.1109/access.2021.3074828

IF: 3.9

2021-01-01

IEEE Access

Abstract:In the above article [1], Table 5 is updated to Table 1. Table 6 in the article [1] is updated to Table 2.

computer science, information systems,telecommunications,engineering, electrical & electronic

Errata to “A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language” [jan 09 94-106]

Errata to "A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language" [Jan 09 94-106]

Corrigendum to “from Phenotype to Gene: Detecting Disease‐specific Gene Functional Modules Via a Text‐based Human Disease Phenotype Network Construction” [FEBS Lett. 584 (2010) 3635–3643]

Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving"

A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language

Correction to (quote)Simultaneous stabilization via static output feedback and state feedback(quote)

Erratum to “Vulnerability Identification and Evaluation of Interdependent Natural Gas-Electricity Systems” [Jul 20 3558-3569]

Petri net based web service interactive behavior compatibility analysis

Erratum to “The Possibility of Changing the Wettability of Material Surface by Adjusting Gravity”

Correction: Li, S. Et Al. Research on a Power Management System for Thermoelectric Generators to Drive Wireless Sensors on a Spindle Unit. Sensors 2014, 14, 12701–12714

Corrections to "Academic Review and Perspectives on Robotic Exoskeletons"

Erratum to: Swimming Behavior Analysis Based on Bacterial Chemotaxis in Solution

Erratum to “Resilience-Motivated Distribution System Restoration Considering Electricity-Water-Gas Interdependency”

Corrections to “Improved Renyi Entropy Benchmark for Performance Assessment of Common Cascade Control System”

Erratum to “Accurate Sub-Structure Characteristic Mode Analysis of Dielectric Resonator Antennas With Finite Ground Plane” [Oct 21 6930-6935]

Modeling and Correctness Checking of Petri-Net-Based Workflow

Corrections to "Joint Task Offloading and Resource Allocation for Multi-Access Edge Computing Assisted by Parked and Moving Vehicles"

A Petri Net Approach to Analysis and Composition of Web Services

Erratum To: Control of Distributed Parameter and Stochastic Systems

Corrections to “A Reliable Medium-Voltage High-Power Conversion System for MWs Wind Turbines” [Apr 20 859-867]

Corrections to “Real-Time High Realistic Web Display Method of Complex 3D Model”