176 search results - page 22 / 36 » Modelling with Generalized Stochastic Petri Nets |
104
click to vote
EMISA
2002
Springer
15 years 1 months ago
2002
Springer
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
127
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
102
click to vote
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
122
click to vote
TAGT
1998
Springer
15 years 5 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
ENTCS
2007
15 years 1 months ago
2007
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...