290 search results - page 1 / 58 » Music Analysis and Modeling Through Petri Nets |
CMMR
2005
Springer
13 years 6 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-...
ENASE
2009
13 years 2 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
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...
IFM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
FAC
2010
13 years 3 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...