148 search results - page 10 / 30 » Linear Logic on Petri Nets |
JCSC
1998
13 years 8 months ago
1998
: Continuous and hybrid Petri nets can be seen as relaxation of discrete nets, in which the firing of some or of all transitions is approximated with a fluid model. Several analysi...
FMSD
1998
13 years 8 months ago
1998
APN
2004
Springer
14 years 2 months ago
2004
Springer
MMMACNS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
AUTOMATICA
2005
13 years 9 months ago
2005
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...