Internet of Things (IoT) technologies enable development of reconfigurable manufacturing
systems—a new generation of modularized industrial equipment suitable for highly …

Dioxin-like PCBs (dl-PCBs) are ubiquitous persistent organic pollutants of recognized
negative effects on human health. Assessing highly polluted areas should be an important …

Most techniques for modeling requirements present many problems and limitations,
including modeling requirements at a single level of abstraction, and are specific to model …

The focus of the present paper is on the specification of routing and resource allocation
systems. Such systems can be described as a set of shared resources and a set of products …

The factual software architectures that are actually implemented of distributed systems do
not conform the planned software architectures (Beck 2010). It happens due to the …

The model of a Workflow Management System should describe the time constraints of
resources over the activities of the corresponding business process. In general, typical …

This article presents a method for qualitative and quantitative analysis of WorkFlow nets
based on the proof trees of Linear Logic. The qualitative analysis is concerned with the proof …

The problem of software modeling and design of road traffic signals control has long been
taken into consideration. A variety of modeling languages have been applied in this field …

The purpose of this paper is to present a new generic deterministic Petri net (PN) model for
the integration of flexible purchasing system (FPS), flexible manufacturing system (FMS) and …

Increasing automation and complexity of today's production systems affect the constraints of
real-world shop-floor control and scheduling problems. To deal with these constraints, either …