253 search results - page 17 / 51 » Formal analysis of timed continuous Petri nets |
116
click to vote
TOPNOC
2008
15 years 1 months ago
2008
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
124
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
139
click to vote
JOT
2010
15 years 8 days ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
BPM
2005
Springer
15 years 7 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
125
Voted
FUIN
2008
15 years 1 months ago
2008
In this paper, we consider safe Time Petri Nets where time intervals (strict and large) are associated with places (P-TPN), arcs (A-TPN) or transitions (T-TPN). We give the formal ...