941 search results - page 48 / 189 » Haskell-Coloured Petri Nets |
181
click to vote
KBSE
2009
IEEE
16 years 23 days 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 ...
179
click to vote
FUIN
2010
15 years 3 months ago
2010
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...
136
click to vote
ETFA
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we deal with the problem of determining a set of decentralized controllers for P/T nets that are able to impose a given global specification on the net behaviour. M...
148
click to vote
ACSD
2007
IEEE
16 years 12 days ago
2007
IEEE
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
150
click to vote
APN
2001
Springer
15 years 10 months ago
2001
Springer
CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP interaction techniques, incl...