Now showing items 1-10 of 1476
Verifying soundness of business processes: A decision process Petri nets approach
(Expert Systems with Applications, Volume 41, 2014-09-01)
This paper presents a trajectory-tracking approach for verifying soundness of workflow/Petri nets represented by a decision-process Petri net. Well-formed business processes correspond to sound workflow nets. The advantage ...
A sociological reflection on sound, language and music
The reflection on the relation between sound, language and music is necessary to clarify how these concepts are connected with “dimensions and senses of collectivity”. In a panoramic and introductory way, this paper tries ...
SOUND PRESSURE AS A TOOL IN THE ASSESSMENT OF THE SURFACE ROUGHNESS ON MEDIUM DENSITY FIBREBOARD RIP SAWING PROCESS
(Universidad del Bío-Bío, 2010)
New Trends in Sound Synthesis and Automatic Tuning of Electronic Musical Instruments
(Universidad de TarapacáFacultad de Ingeniería, 2003)
Active sound quality control of engine induced cavity noise
(ACADEMIC PRESS LTD ELSEVIER SCIENCE LTD, 2009)
Active control solutions appear to be a feasible approach to cope with the steadily increasing requirements for noise reduction in the transportation industry. Active controllers tend to be designed with a target on the ...
AN ANALYTICAL METHOD FOR WELL-FORMED WORKFLOW/PETRI NETS VERIFICATION: CLASSICAL SOUNDNESS
(International Journal of applied mathematics and computer science, 2014)
In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are formal model of business processes. Well-formed business ...