Search results

Articles (3)

Journals (0)

1-3 of 3 results for Timed Petrinet

Sort by:

Relevance

Select all

Sort by:

Relevance

Available accessResearch articleFirst published May, 2003

Using State Equation to Prove Non-Reachability in Timed Petrinets

Louchka Popova-Zeugmann, Matthias Werner, Jan Richling

Fundamenta Informaticae

Available accessResearch articleFirst published June, 2002

Jan Richling, Louchka Popova-Zeugmann, Matthias Werner

Fundamenta Informaticae

Available accessResearch articleFirst published April, 2006

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Articles (3)

Journals (0)

1-3 of 3 results for Timed Petrinet

Sort by:

Relevance

Select all

Sort by:

Relevance

Available accessResearch articleFirst published May, 2003

Louchka Popova-Zeugmann, Matthias Werner, Jan Richling

Fundamenta Informaticae

Available accessResearch articleFirst published June, 2002

Jan Richling, Louchka Popova-Zeugmann, Matthias Werner

Fundamenta Informaticae

Available accessResearch articleFirst published April, 2006

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae