941 search results - page 27 / 189 » Petri Nets Are Dioids |
BPM
2006
Springer
15 years 1 months ago
2006
Springer
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
114
click to vote
AWPN
2008
15 years 1 months ago
2008
In this paper we investigate synthesis of place/transition Petri nets from three different finite representations of infinite partial languages, generalizing previous results.
111
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
JAIR
2006
14 years 11 months ago
2006
Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent c...
122
click to vote
IWIA
2006
IEEE
15 years 5 months ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...