81 search results - page 10 / 17 » On the Computation of Stubborn Sets of Colored Petri Nets |
CMSB
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...
APN
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Con...
DAC
1999
ACM
14 years 9 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
APN
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
APN
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...