33 search results - page 1 / 7 » Timing and liveness in continuous Petri nets |
AUTOMATICA
2011
12 years 11 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
ATVA
2007
Springer
13 years 10 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
FBIT
2007
IEEE
13 years 10 months ago
2007
IEEE
The application of Petri nets to analyze and simulate biological pathways has been developed vigorously. Some of the modifications of Petri nets appeared to perform quantitative a...
WSC
2007
13 years 6 months ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
APN
2008
Springer
13 years 6 months ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...