1099 search results - page 124 / 220 » Petri net ontology |
178
click to vote
DFG
2003
Springer
15 years 11 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
143
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
136
click to vote
FLAIRS
2004
15 years 7 months ago
2004
The paper aims at contributing to the problem of designing ontologies for spatio-temporal knowledge representation. We consider a linguistically oriented, situation-based methodol...
153
click to vote
FOSSACS
2010
Springer
16 years 25 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
133
click to vote
CIBCB
2007
IEEE
16 years 21 days ago
2007
IEEE
—Many dynamical processes can be represented as directed attributed graphs or Petri nets where relationships between various entities are explicitly expressed. Signaling networks...