Boundedness undecidability for synchronized nets

Authors:
Raymond Devillers;Laurent Van Begin
Affiliations:
Université Libre de Bruxelles, Département d'Informatique, Bruxelles, Belgium;Université Libre de Bruxelles, Département d'Informatique, Bruxelles, Belgium
Venue:
Information Processing Letters
Year:
2006

Citing 3
Cited 1

Reset Nets Between Decidability and Undecidability

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Computation: finite and infinite machines

Computation: finite and infinite machines
Discrete, Continuous, and Hybrid Petri Nets

Discrete, Continuous, and Hybrid Petri Nets

Checking system boundedness using ordinary differential equations

Information Sciences: an International Journal

Quantified Score

Hi-index	0.89

Visualization

Abstract