253 search results - page 27 / 51 » Formal analysis of timed continuous Petri nets |
157
click to vote
SFM
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
158
click to vote
DATE
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
158
click to vote
ETFA
2008
IEEE
16 years 9 days ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
191
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
164
click to vote
APN
1993
Springer
15 years 10 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...