183 search results - page 15 / 37 » The Downward-Closure of Petri Net Languages |
105
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
103
Voted
CIMCA
2008
IEEE
15 years 6 months ago
2008
IEEE
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
108
click to vote
SBCCI
2004
ACM
15 years 5 months ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
113
click to vote
EDOC
2008
IEEE
15 years 2 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
116
click to vote
TOPNOC
2008
15 years 9 days ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...