941 search results - page 81 / 189 » Haskell-Coloured Petri Nets |
113
Voted
DSS
2006
15 years 22 days ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
98
Voted
AUTOMATICA
2004
15 years 18 days ago
2004
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the...
109
Voted
ICIW
2009
IEEE
15 years 7 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
90
Voted
ACSD
2005
IEEE
15 years 2 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
87
Voted
EPK
2007
15 years 2 months ago
2007
: Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Sin...