Search results

Articles (3)

Journals (0)

1-3 of 3 results for Timed Petrinet

Sort by:

Relevance

Select all

Sort by:

Relevance

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

Retricted access

Research article

First published 2002-6

Jan Richling, Louchka Popova-Zeugmann, Matthias Werner

Fundamenta Informaticae

Retricted access

Research article

First published 2006-4

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae