148 search results - page 10 / 30 » Linear Logic on Petri Nets |
217
click to vote
JCSC
1998
15 years 5 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...
164
click to vote
MMMACNS
2001
Springer
15 years 10 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...
176
click to vote
AUTOMATICA
2005
15 years 5 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...