Sciweavers

99 search results - page 17 / 20
» Complete Process Semantics of Petri Nets
Sort
View
COSIT
2001
Springer
134views GIS» more  COSIT 2001»
14 years 4 days ago
A Semantic Map as Basis for the Decision Process in the www Navigation
In the physical world, decision making in common navigation strategies is based on a mental map which includes a mental representation of geometric features such as distances and d...
Hartwig H. Hochmair, Andrew U. Frank
CSCWD
2001
Springer
14 years 4 days ago
Verification of XRL: An XML-based Workflow Language
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kuma...
APSEC
2007
IEEE
13 years 11 months ago
Definition of an Executable SPEM 2.0
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
Reda Bendraou, Benoît Combemale, Xavier Cr&e...
TOPNOC
2010
13 years 2 months ago
On-the-Fly Auditing of Business Processes
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
Kees M. van Hee, Jan Hidders, Geert-Jan Houben, Ja...
RTSS
2005
IEEE
14 years 1 months ago
Event Count Automata: A State-Based Model for Stream Processing Systems
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiag...