Sciweavers

17 search results - page 1 / 4
» Experimental Version of Parallel Programs Translator from Pe...
Sort
View
PACT
2001
Springer
15 years 1 months ago
Experimental Version of Parallel Programs Translator from Petri Nets to C++
E. A. Golenkov, A. S. Sokolov, G. V. Tarasov, D. I...
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 2 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
AC
2002
Springer
14 years 9 months ago
A Programming Approach to the Design of Asynchronous Logic Blocks
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
Mark B. Josephs, Dennis P. Furey
APN
2004
Springer
15 years 2 months ago
EMiT: A Process Mining Tool
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
Boudewijn F. van Dongen, Wil M. P. van der Aalst
ESOP
2007
Springer
15 years 3 months ago
Multi-language Synchronization
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...
Robert Ennals, David Gay