|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Decibility Issues for Petri Nets - a survey
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
J. Esparza and M. Nielsen. Decibility issues for Petri nets - a survey. Journal of Informatik Processing and Cybernetics, 30(3):143–160, 1994.
Abstract:
We survey 25 years of research on decidability issues for Petri nets. We collect results on the decidability of important properties, equivalence notions, and temporal logics.
Suggested BibTeX entry:
@article{EN94,
author = {J. Esparza and M. Nielsen},
journal = {Journal of Informatik Processing and Cybernetics},
number = {3},
pages = {143--160},
title = {Decibility Issues for {P}etri Nets - a survey},
volume = {30},
year = {1994}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|