Sciweavers

12 search results - page 1 / 3
» apn 2010
Sort
View
APN
2010
Springer
13 years 9 months ago
Separability in Persistent Petri Nets
We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.
Eike Best, Philippe Darondeau
DCC
2010
IEEE
13 years 4 months ago
On quadratic APN functions and dimensional dual hyperovals
In this paper we characterize the d-dimensional dual hyperovals in PG(2d + 1, 2) that can be obtained by Yoshiara's construction [21] from quadratic APN functions and state a...
Yves Edel
APN
2010
Springer
13 years 8 months ago
GreatSPN Enhanced with Decision Diagram Data Structures
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tool...
Junaid Babar, Marco Beccuti, Susanna Donatelli, An...