Beginning with a bounded (safe), live, or reversible Petri net as a first-level net model for a
system, Petri nets are synthesized by first refining operation places through basic design …

The concept of Petri net controllers is extended to include automatic error recovery and
adaptive design. In the Petri net controller considered, a place that represents an operation …

Petri-nets (PNs) can model concurrent and synchronous activities in a manufacturing system
at various levels of abstraction. They have been used for modelling manufacturing systems …

Modeling is essential to ensure the orderly design, implementation, and control of
automated and Computer Integrated Manufacturing systems. The complex interactions …

A class of Petri nets, called extended Petri nets, with multiple types of places, multiple
classes of tokens and multiple arcs is proposed. It is utilized for the hierarchical modeling of …

This research project investigates and develops techniques for automatically detecting
potential vehicle conflicts in an automated guided vehicle (AGV) system. Three activities are …

The authors present transformation methods for generalized Petri nets by introducing and
using the concept of a live and bounded circuit (LB-circuit), based on fusing common paths …

Logic controllers for machining systems typically have three control modes: auto, hand and
manual. In this paper, a unified formal representation of logic controllers with three control …

Transformation methods are presented for generalized Petri nets by introducing and using
the concept of a live and bounded circuit (LB-circuit). An LB-circuit is a generalized version …

The problem of constructing a plan representation that can deal with the complexity of
representing and analyzing robot behavior in uncertain and dynamic environments is …