941 search results - page 33 / 189 » Haskell-Coloured Petri Nets |
IFIP
2005
Springer
14 years 1 months ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
MSE
2002
IEEE
14 years 1 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
ASP
2001
Springer
14 years 28 days ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
SIMPRA
2008
13 years 7 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...