941 search results - page 68 / 189 » Haskell-Coloured Petri Nets |
FUIN
2008
14 years 10 months ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
SMC
2007
IEEE
15 years 4 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
IEAAIE
2000
Springer
15 years 1 months ago
2000
Springer
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
FCT
1995
Springer
15 years 1 months ago
1995
Springer
The concatenable processes of a Petri net N can be characterized ly as the arrows of a symmetric monoidal category P[N]. Yet, this is only a partial axiomatization, since P[N] is b...
TCS
2008
14 years 9 months ago
2008
We show that the class of Petri nets is less expressive with respect to bisimulation equivalence than the class of PA processes extended with a finite state control unit. Key word...