|
|
|
|
|
Eduard Lotovskyi, Angelo P. Teixeira and C. Guedes Soares
This paper analyses the production availability and the associated maintenance costs of an offshore wind turbine with a horizontal axis configuration using Petri Nets modelling with Monte Carlo Simulation. For this purpose, different features are impleme...
ver más
|
|
|
|
|
|
|
|
|
Iwona Grobelna and Pawel Szczesniak
In this article, interpreted Petri nets are applied to the area of power and energy systems. These kinds of nets, equipped with input and output signals for communication with the environment, have so far proved to be useful in the specification of contr...
ver más
|
|
|
|
|
|
|
|
|
Meriem Kherbouche, Galena Pisoni and Bálint Molnár
Business process modeling and verification have become an essential way to control and assure organizational evolution. We overview the opportunities for the application of blockchain in Business Process Management and Modeling in Finance and we focus on...
ver más
|
|
|
|
|
|
|
|
|
Anant Sujatanagarjuna, Arne Bochem and Benjamin Leiding
Protocol flaws such as the well-known Heartbleed bug, security and privacy issues or incomplete specifications, in general, pose risks to the direct users of a protocol and further stakeholders. Formal methods, such as Colored Petri Nets (CPNs), facilita...
ver más
|
|
|
|
|
|
|
|
|
Tomasz Rak
Web systems are becoming more and more popular. An efficiently working network system is the basis for the functioning of every enterprise. Performance models are powerful tools for performance prediction. The creation of performance models requires sign...
ver más
|
|
|
|