Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
Work
Year: 2016
Type: book-chapter
Abstract: In Petri nets with data, every token carries a data value, and executability of a transition is conditioned by a relation between data values involved. Decidability status of various decision problems... more
Author Sławomir Lasota
Institution University of Warsaw
Cites: 27
Cited by: 27
Related to: 10
FWCI: 6.458
Citation percentile (by year/subfield): 95.21
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: hybrid
APC paid (est): $5,392