65 search results - page 12 / 13 » Learning Workflow Petri Nets |
122
click to vote
WORDS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
131
click to vote
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
103
click to vote
DASFAA
2007
IEEE
15 years 6 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
105
click to vote
WSC
2000
15 years 1 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...