941 search results - page 64 / 189 » Haskell-Coloured Petri Nets |
AICCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
BPM
2008
Springer
13 years 10 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...
AWPN
2008
13 years 10 months ago
2008
In this paper we propose a method and present a tool as plugin for Renew that supports the process of discovery of differences in possibly conflicting versions of Petri net code. T...
LFCS
1997
Springer
14 years 19 days ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...