Neutrophil extracellular traps (NETs) are developed by nature to protect the body from furious invaders. On the other hand NET s can play an important role in human pathology. Recent studies have shown that neutrophils are able to perform beneficial suicide to create an unique microbicidal net composed from cellular content attached to chromatic frame. It is a powerful tool that primary serve a...

In our previous work, we considered, on the one hand, the predicate-based unfolding of a business process’s conditional control flow and, on the other hand, the introduction of assertions for the contents of messages exchanged between processes. In this paper, we will sketch how both approaches can be smoothly combined for the automated provisioning of precise low-level Petri net models of busi...

Logical modelling and Petri nets constitute two complementary approaches for the dynamical modelling of biological regulatory networks. On the one hand, the logical approach encompasses analytical tools enabling the delineation of specific relationships between the feedback structure and the dynamical properties of complex regulatory systems. On the other hand, the Petri net formalism provides ...

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for ...

The factored state representation and concurrency semantics of Petri nets are closely related to those of concurrent planning domains, yet planning and Petri net analysis have developed independently, with minimal and usually unconvincing attempts at cross-fertilisation. In this paper, we investigate and exploit the relationship between the two areas, focusing on Petri net unfolding, which is a...

Cost of production and returns in growing mango orchard are estimated in different ways compared to annual crops. The present study has been designed to investigate cost of production, and returns per acre over the life time of mango trees. A sample of 20 mango growing farmers was taken purposively from various villages of Multan district. The objective was to work out benefit cost ratio and ne...

On the one hand, Petri net models have a successful history in the modeling, simulation, and verification of workflows and business processes. On the other hand, BPEL is the de facto standard for describing and implementing Web service-based business processes. With abstract BPEL processes, BPEL can also be used as modeling language. However, being a complicated language with many syntactic con...

The ultradian alternation of rest/activity periods displayed by 10 C3H mice in diurnal condition, and by 10 others in nocturnal conditions, were compared with simulated sequences that respectively optimized three functional criteria, i.e. energy input, energy output, and net energy gain, accumulated over 11 consecutive hours. The simulated sequences were generated by means of a dynamic programm...

In this paper the ADVANCE approach for engineering concurrent software systems with well-balanced hardware efficiency is adressed using the stream processing language S-Net. To obtain the cost information in the concurrent system the metrics throughput, latency, and jitter are evaluated by analyzing generated synthetical data as well as using an industrial related application in the future. As ...

We introduce a new large-scale music dataset, MusicNet, to serve as a source of supervision and evaluation of machine learning methods for music research. MusicNet consists of hundreds of freely-licensed classical music recordings by 10 composers, written for 11 instruments, together with instrument/note annotations resulting in over 1 million temporal labels on 34 hours of chamber music perfor...