325 search results - page 11 / 65 » Controlling Petri Net Process Models |
103
click to vote
DSS
2006
14 years 11 months 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"...
104
click to vote
CMMR
2005
Springer
15 years 1 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
113
click to vote
ASYNC
2001
IEEE
15 years 3 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...
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
122
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...