142 search results - page 8 / 29 » Petri nets and integrality relaxations: A view of continuous... |
CSCWD
2009
Springer
14 years 1 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
CMSB
2007
Springer
14 years 27 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
IEAAIE
1995
Springer
13 years 10 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
WSFM
2007
Springer
14 years 25 days ago
2007
Springer
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...