1099 search results - page 115 / 220 » Petri net ontology |
178
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
This paper presents a methodology to derive a Supply Chain Management Ontology based on the RosettaNet specification framework. A prototype to mechanically derive a core ontology ...
181
click to vote
RP
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
176
click to vote
AICCSA
2008
IEEE
16 years 24 days ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
145
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
146
click to vote
APN
2010
Springer
15 years 10 months ago
2010
Springer
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tool...