Ilmenauer Discovery Tool

1

Cover Image

Stratified Petri nets

by Badouel, Eric
Published 1997

Book

2

Cover Image

Conditional rewrite rules as an algebraic semantics of processes

by Badouel, Eric
Published 1990

Book

3

Cover Image

Petri net synthesis

by Badouel, Eric
Published 2015

Book

4

Cover Image

Petri net synthesis

by Badouel, Eric
Published [2015]

Book

5

Cover Image

Polynominal algorithms for the synthesis of bounded nets

by Badouel, Eric
Published 1994

Book

6

Cover Image

Trace nets and process automata

by Badouel, Eric
Published in Acta Informatica

electronic Article

7

Cover Image

Incremental Process Discovery using Petri Net Synthesis

by Badouel, Eric
Published in Fundamenta informaticae (2017)

Article

8

Cover Image

Distributing Finite Automata Through Petri Net Synthesis

by Badouel, Éric
Published in Formal Aspects of Computing : Applicable Formal Methods

electronic Article

9

Cover Image

On the synthesis of general Petri nets

by Badouel, Eric
Published 1996

Book

10

Cover Image

Reconfigurable nets, a class of high level Petri nets supporting dynamic changes within workflow systems

by Badouel, Eric
Published 1998

Book

11

Cover Image

Context-free event domains are recognizable

by Badouel, Eric
Published 1995

Book

12

Cover Image

Representations of reversible automata and state graphs of vector addition systems

by Badouel, Eric
Published 1998

Book

13

Cover Image

Polynomial algorithms for the synthesis of bounded nets

by Badouel, Eric
Published 1994

Book

14

Cover Image

The synthesis problem for elementary net systems is NP-complete

by Badouel, Éric
Published 1995

Book

15

Cover Image

Dualities between nets and automata induced by schizophrenic objects

by Badouel, Eric
Published 1995

Book

16

Cover Image

Dualities between nets and automata induced by schizophrenic objects

by Badouel, Eric
Published 1995

Book

17

Cover Image

Structural operational specifications and trace automata

by Badouel, Eric
Published 1992

Book

18

Cover Image

Petri Net Synthesis

by Badouel, Eric
Published 2015

eBook

19

Cover Image

Splitting of actions, higher-dimensional automata, and net synthesis

by Badouel, Eric
Published 1996

Book

20

Cover Image

Dynamic changes in concurrent systems : modelling and verification

by Badouel, Eric
Published 1999

Book