Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Simulation is Decidable for Onecounter Nets (Extended Abstract)
 

Summary: Simulation is Decidable for One­counter Nets
(Extended Abstract)
Parosh Aziz Abdulla
Dept. of Computer Systems
P.O. Box 325
S­751 05 Uppsala, Sweden
parosh@docs.uu.se
KŻarlis ź
CerŻans
Institute of Mathematics
and Computer Science
University of Latvia
karlis@cclu.lv
Abstract
We prove that the simulation preorder is decidable for the class of one­counter nets. A one­counter
net consists of a finite­state machine operating on a variable (counter) which ranges over the natural
numbers. Each transition can increase or decrease the value of the counter. A transition may not be
performed if this implies that the value of the counter becomes negative. The class of one­counter
nets is computationally equivalent to the class of Petri nets with one unbounded place, and to
the class of pushdown automata where the stack alphabet is restricted to one symbol. To our

  

Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet

 

Collections: Computer Technologies and Information Sciences