253 search results - page 41 / 51 » Formal analysis of timed continuous Petri nets |
114
click to vote
IFIPTCS
2000
15 years 5 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
110
Voted
FM
2001
Springer
15 years 6 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
132
Voted
CSCWD
2001
Springer
15 years 6 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
117
click to vote
CAISE
2001
Springer
15 years 6 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
86
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...