1019 search results - page 128 / 204 » Transformations of Petri Nets |
142
click to vote
ACSD
2001
IEEE
15 years 9 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...
147
click to vote
FOSSACS
2010
Springer
16 years 20 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-...
131
click to vote
CIBCB
2007
IEEE
16 years 16 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...
145
click to vote
APN
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
192
click to vote
SCESM
2006
ACM
16 years 4 days ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...