941 search results - page 71 / 189 » Haskell-Coloured Petri Nets |
124
click to vote
ASYNC
2001
IEEE
15 years 4 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
106
Voted
APN
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The research domain of process discovery aims at constructocess model (e.g. a Petri net) which is an abstract representation of an execution log. Such a Petri net should ...
142
Voted
DKE
2008
15 years 23 days ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
92
Voted
ACTAC
2002
15 years 17 days ago
2002
: In this paper we study the home marking problem for Petri nets, and some related concepts to it like confluence, noetherianity, and state space inclusion. We show that the home m...
123
Voted
INFORMS
1998
15 years 11 days ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...