APN
2001
Springer
13 years 11 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
APN
2001
Springer
14 years 12 hour ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
APN
2001
Springer
14 years 12 hour ago
2001
Springer
APN
2001
Springer
14 years 12 hour ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
APN
2001
Springer
14 years 12 hour ago
2001
Springer
18
Voted
APN
2001
Springer
14 years 12 hour ago
2001
Springer
APN
2001
Springer
14 years 12 hour ago
2001
Springer
APN
2001
Springer
14 years 12 hour 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...
APN
2001
Springer
14 years 12 hour ago
2001
Springer
CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP interaction techniques, incl...
APN
2001
Springer
14 years 12 hour ago
2001
Springer
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by...