Sage Journals: Discover world-class research

Open access

Research article

First published 2019-2

On state-space compression and state reachability retrieval of Petri nets

Huorong Ren, Jin Xu, Ye Liang [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2003-5

Using State Equation to Prove Non-Reachability in Timed Petrinets

Louchka Popova-Zeugmann, Matthias Werner, Jan Richling

Fundamenta Informaticae

Open access

Research article

First published 2016-6

Combinatorics and resource circuit–based enumeration of reachable states for S 3 PR

Liang Hong, AnRong Wang, JunFeng Jing [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2012-10

Improving Reachability Analysis of Infinite State Systems by Specialization

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2019-4

Three-dimensional relative reachable domain with initial state uncertainty in Gaussian distribution

Changxuan Wen, Yang Gao, Hao Shi

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 2025-4

Tight set-valued state estimation by combining reachability analysis and set-filtering approaches

Nacim Meslem

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2019

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

Petr Jančar, Jérôme Leroux, Grégoire Sutre

Fundamenta Informaticae

Retricted access

Research article

First published 2013-4

Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P

Jakub Chaloupka

Fundamenta Informaticae

Retricted access

Research article

First published 2001-9

Narrowing Petri Net State Spaces Using the State Equation

Karsten Schmidt

Fundamenta Informaticae

Retricted access

Research article

First published 1999-2

Analyzing Paths in Time Petri Nets

Louchka Popova-Zeugmann, Dirk Schlatter

Fundamenta Informaticae

Search results