Petri nets are a useful mathematical formalism for specification of manufacturing systems,
supported by various analysis and verification methods. The progress made in automating …

Deadlock problems in flexible manufacturing systems (FMS) have received more and more
attention in the last two decades. Petri nets are one of the more promising mathematical …

The behavior of many technical systems that are increasingly important in our every-day life
can be described by discrete states and state-changing events. Discrete event systems …

The study of real discrete event systems requires the use of models to cope with complexity
and large scale. The only way to understand and analyse their behaviour prior to …

While the development of augmented reality (AR) technologies has made it possible to
assign real-time features to many systems and applications, these trends are rare in …

Technologies and their production systems are used by archaeologists and anthropologists
to study complexity of socio-technical systems. However, there are several issues that …

System of systems within the cyber-physical context often have a greater goal to achieve-
such as a product to deliver, or a series of services to be executed. Once this greater goal is …

During the development of a production control system, an appropriate model of the
production process is needed to evaluate the various control strategies. This paper …

The paper presents a method of automated modelling and performance evaluation of
concurrent production flows carried out in Flexible Manufacturing Systems. The method …

This paper provides a summary of my plenary talk at the 24th Int. Conf. on Emerging
Technology and Factory Automation. It provides a survey (clearly, non exhaustive) of the …