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

Fork/join (F/J) requests arise in contexts such as parallel computing, query processing in
parallel databases, and parallel disk access in RAID. F/J requests spawn K tasks that are …

This paper presents a flexible framework to simulate transport systems based on automated
guided vehicles (AGVs). The framework used to perform the simulation also serves to …

Grid computing is the federation of resources from multiple locations to facilitate resource
sharing and problem solving over the Internet. The challenge of finding services or …

In this paper, we study selected aspects of determinism in the control part of a cyber-physical
system (CPS) that is specified by a Petri net-based model. In particular, the control …

The evaluation of application availability is a crucial step in ensuring functionality of the data
center network (DCN). The application of data center network is no more a chain of physical …

Charlie is an extensible thread-based Java tool for analysing Petri nets. Its built-in
functionalities apply standard analysis techniques of Petri net theory (eg invariants …

This paper describes the implementation of an event-based Internet robotic system to
monitor water quality and feed crayfish in a shadehouse, guided by a model-based …

More and more computational techniques have been applied to model biological systems,
especially signaling pathways in medical systems. Due to the large number of experimental …

A variety of modern Cyber-Physical Systems (CPSs) are distributed and asynchronous
systems that are becoming the backbone for smart infrastructures and systems such as …