Algebraic Petri net

Known as: APN, Algebraic Petri nets 
An algebraic Petri net (APN) is an evolution of the well known Petri net in which elements of user defined data types (called algebraic abstract data… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1985-2018
0204019852018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Algebraic Petri nets are a formalism for modeling distributed systems and algorithms, describing control and data flow by… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 7
  • figure 8
Is this relevant?
2013
2013
High-level Petri nets make models more concise and readable as compared to low-level Petri nets. However, usual verification… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Although model checking is heavily used in the hardware domain, it did not take off in software engineering yet. One of the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
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)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Following an example in [13], we show how to change one coordinate function of an almost perfect nonlinear (APN) function in… (More)
  • table 1
  • table 4
  • table 2
  • table 5
  • table 6
Is this relevant?
2008
2008
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
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
We summarize the state of the classification of almost perfect nonlinear (APN) power functions x on GF (2) and contribute two new… (More)
  • table I
  • table II
  • table III
Is this relevant?
1995
1995
This paper is concerned with parameterized reachability trees, which have been proposed by M. Lindquist for predicate/transition… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1995
1995
Algebraic Petri nets have been developed as a suitable formal method for concurrent and distributed systems in recent years… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?