You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Deciding the Deadlock and Livelock in a Petri Net with a Target Marking Based on Its Basic Unfolding
|
---|---|
Chapter number | 7 |
Book title |
Algorithms and Architectures for Parallel Processing
|
Published in |
Lecture notes in computer science, November 2016
|
DOI | 10.1007/978-3-319-49583-5_7 |
Book ISBNs |
978-3-31-949582-8, 978-3-31-949583-5
|
Authors |
Guanjun Liu, Kun Zhang, Changjun Jiang |
Editors |
Jesus Carretero, Javier Garcia-Blas, Ryan K.L. Ko, Peter Mueller, Koji Nakano |