1099 search results - page 15 / 220 » Petri net ontology |
182
click to vote
AWPN
2008
15 years 7 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.
141
click to vote
INFSOF
2002
15 years 5 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
171
click to vote
MFCS
2010
Springer
15 years 4 months ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.
176
click to vote
EMSOFT
2005
Springer
15 years 11 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...
148
click to vote
JAIR
2006
15 years 6 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...