325 search results - page 40 / 65 » Controlling Petri Net Process Models |
COORDINATION
2006
Springer
14 years 11 days ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
EMISA
2002
Springer
13 years 8 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...
FOSSACS
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
EUSFLAT
2003
13 years 10 months ago
2003
A flow reactor for material processing monitored and controlled by a tri-stimulus chromaticity sensor is described by a generalized net. The GN model incorporates knowledge-based ...