P
Pritha Mahata
Researcher at University of Newcastle
Publications - 21
Citations - 386
Pritha Mahata is an academic researcher from University of Newcastle. The author has contributed to research in topics: Decidability & Petri net. The author has an hindex of 11, co-authored 21 publications receiving 379 citations. Previous affiliations of Pritha Mahata include University of Queensland & Newcastle University.
Papers
More filters
Book ChapterDOI
Regular Tree Model Checking
TL;DR: This work is a generalization of regular model checking, where the work done with strings is extended toward trees, and an automata theoretic method is used to compute the transitive closure of such a transition relation.
Proceedings ArticleDOI
Multi-clock timed networks
TL;DR: It is shown that the problem of verification of safety properties for parameterized systems of timed processes, so called timed networks, becomes undecidable when each timed process has two clocks, while the problem is decidable when clocks range over a discrete time domain.
Journal Article
Regular tree model checking
TL;DR: In this paper, an approach for verification of infinite-state systems with a parameterized tree topology is presented, where states are represented by trees over a finite alphabet, and transition relations by regular, structure preserving relations on trees.
Journal ArticleDOI
Dense-timed petri nets: checking zenoness, token liveness and boundedness
TL;DR: This work considers Dense-Timed Petri Nets, an extension of Petri nets in which each token is equipped with a real-valued clock and where the semantics is lazy (i.e., enabled transitions need not fir ...
Book ChapterDOI
Forward reachability analysis of timed Petri nets
TL;DR: A formalism, called region generators for representing sets of markings of timed Petri nets, is introduced, and it is shown that the standard operations needed for performing symbolic reachability analysis are computable for region generators.