390 search results - page 34 / 78 » Application of Coloured Petri Nets in System Development |
120
click to vote
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
104
click to vote
TAGT
1998
Springer
15 years 4 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
TOPNOC
2008
14 years 11 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
107
click to vote
ISSADS
2005
Springer
15 years 5 months ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
JSS
1998
14 years 11 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...