CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project focuses on solving fundamental problems in infinite state systems, particularly in computer science. It aims to clarify the complexity of reachability in Petri nets and explore separability and unambiguity in computational models.
Investigation of infinite state systems is an active field since the early days of computer science.Despite of decades of research the most fundamental questions are not understood welleven for basic models using only counters or a
stack.The aim of the project is to provide solutions of the most challenging problems in the area.The goals of the project are grouped in three tasks: - The first goal in concerned with the reachability problem in Petri nets or Vector
Addition Systems (VASes), a cla…
UNIWERSYTET WARSZAWSKI
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 topics.
Guests see up to 5 keywords.
