253 search results - page 12 / 51 » Formal analysis of timed continuous Petri nets |
123
Voted
CMMR
2005
Springer
15 years 3 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
ENTCS
2006
15 years 1 months ago
2006
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
137
Voted
ENASE
2009
14 years 11 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
156
click to vote
DKE
2008
15 years 1 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
101
Voted
JSW
2007
15 years 1 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...