1099 search results - page 15 / 220 » Petri net ontology |
AWPN
2008
14 years 11 days 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.
INFSOF
2002
13 years 10 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
MFCS
2010
Springer
13 years 9 months ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.
EMSOFT
2005
Springer
14 years 4 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
13 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...