969 search results - page 5 / 194 » Recursive Petri nets |
70
Voted
APN
2010
Springer
15 years 4 months ago
2010
Springer
We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.
92
Voted
APN
2001
Springer
15 years 4 months ago
2001
Springer
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...
84
Voted
MCS
2006
Springer
14 years 11 months ago
2006
Springer
100
click to vote
APN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We study data nets, a generalisation of Petri nets in which tokens carry data from linearlyordered infinite domains and in which whole-place operations such as resets an...
103
Voted
WSC
2007
15 years 2 months ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...