The Liveness of WS<sup>3</sup>PR: Complexity and Decision-Reference-Cited by-同舟云学术

The Liveness of WS³PR: Complexity and Decision

Published:2013 Issue:8 Volume:E96.A Page:1783-1793
ISSN:0916-8508
Container-title:IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
language:en
Short-container-title:IEICE Trans. Fundamentals

Author:

LIU GuanJun¹,JIANG ChangJun²,ZHOU MengChu³,OHTA Atsushi⁴

Affiliation:

1. ISTD, Singapore University of Technology and Design

2. Key Laboratory of the Ministry of Education for Embedded System and Service Computing, Tongji University

3. Department of Electrical and Computer Engineering, New Jersey Institute of Technology

4. School of Information Science and Technology, Aichi Prefectural University

Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Subject

Applied Mathematics,Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Signal Processing

Link

https://www.jstage.jst.go.jp/article/transfun/E96.A/8/E96.A_1783/_pdf

Reference32 articles.

1. [1] W.M.P. van der Aalst, K. van Hee, A. ter Hofstede, N. Sidorova, H. Verbeek, M. Voorhoeve, and M. Wynn, “Soundness of workflow nets: Classification, decidability, and analysis,” Formal Aspects Computing, vol.23, pp.333-363, 2011.

2. [2] K. Barkaoui, A. Chaoui, and B. Zouari, “Supervisory control of discrete event systems based on structure theory of Petri nets,” Proc. IEEE Int. Conf. Syst. Man Cybern., pp.3750-3755, 1997.

3. [3] K. Barkaoui and J. Pradat-Peyre, “On liveness and controlled siphons in Petri nets,” Lect. Notes Comput. Sci., vol.1091, pp.57-72, 1996.

4. [4] R.R. Brooks, M. Zhu, J. Lamb, and S.S. Iyengar, “Aspect-orienteddesign of sensor networks,” J. Parallel Distrib. Comput., vol.64, pp.853-865, 2004.

5. [5] A. Cheng, J. Esparza, and J. Palsberg, “Complexity results for 1-safe nets,” Theor. Comput. Sci., vol.147, pp.117-136, 1995.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Petri Nets Modeling Message Passing and Resource Sharing;Petri Nets;2022

2. Petri Nets with Special Structures;Petri Nets;2022

3. Structural Characteristics of Petri Nets;Petri Nets;2022

4. Elementary Net Systems;Petri Nets;2022

5. Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2021-08