An algebraic Petri net (APN) is an evolution of the well known Petri net in which elements of user deﬁned data types (called algebraic abstract data… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- Marvin Triebel, Jan Sürmeli
- CONCUR
- 2016

Algebraic Petri nets are a formalism for modeling distributed systems and algorithms, describing control and data flow by… (More)

Is this relevant?

2013

2013

- Yasir Imtiaz Khan, Matteo Risoldi
- PNSE+ModPE
- 2013

High-level Petri nets make models more concise and readable as compared to low-level Petri nets. However, usual verification… (More)

Is this relevant?

2011

2011

- Steve Hostettler, Alexis Marechal, Alban Linard, Matteo Risoldi, Didier Buchs
- Fundam. Inform.
- 2011

Although model checking is heavily used in the hardware domain, it did not take off in software engineering yet. One of the… (More)

Is this relevant?

2010

2010

- Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
- TACAS
- 2010

AlPiNA is a graphical editor and model checker for a class of high-level Petri nets called Algebraic Petri Nets. Its main purpose… (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- Yves Edel, Alexander Pott
- Adv. in Math. of Comm.
- 2008

Following an example in [13], we show how to change one coordinate function of an almost perfect nonlinear (APN) function in… (More)

Is this relevant?

2008

2008

- Gabriel Juhás, Robert Lorenz, Sebastian Mauser
- Fundam. Inform.
- 2008

In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events… (More)

Is this relevant?

2006

2006

- Thierry P. Berger, Anne Canteaut, Pascale Charpin, Yann Laigle-Chapuy
- IEEE Transactions on Information Theory
- 2006

We investigate some open problems on almost perfect nonlinear (APN) functions over a finite field of characteristic 2. We provide… (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Hans Dobbertin
- IEEE Trans. Information Theory
- 1999

We summarize the state of the classification of almost perfect nonlinear (APN) power functions x on GF (2) and contribute two new… (More)

Is this relevant?

1995

1995

- Karsten Wolf
- Application and Theory of Petri Nets
- 1995

This paper is concerned with parameterized reachability trees, which have been proposed by M. Lindquist for predicate/transition… (More)

Is this relevant?

1995

1995

- Chieh-ying Kan, Xudong He
- Information & Software Technology
- 1995

Algebraic Petri nets have been developed as a suitable formal method for concurrent and distributed systems in recent years… (More)

Is this relevant?