Half a century after Carl Adam Petri's Ph. D. thesis: A perspective on the field

M Silva - Annual reviews in control, 2013 - Elsevier
It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …

Model-driven safety analysis of closed-loop medical systems

M Pajic, R Mangharam, O Sokolsky… - IEEE Transactions …, 2012 - ieeexplore.ieee.org
In modern hospitals, patients are treated using a wide array of medical devices that are
increasingly interacting with each other over the network, thus offering a perfect example of …

Using propositional logic for requirements verification of service workflow

L Da Xu, W Viriyasitavat… - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
This paper presents a requirement-oriented automated framework for formal verification of
service workflows. It is based on our previous work describing the requirement-oriented …

On fluidization of discrete event models: observation and control of continuous Petri nets

M Silva, J Júlvez, C Mahulea, CR Vázquez - Discrete Event Dynamic …, 2011 - Springer
As a preliminary overview, this work provides first a broad tutorial on the fluidization of
discrete event dynamic models, an efficient technique for dealing with the classical state …

SWSpec: The requirements specification language in service workflow environments

W Viriyasitavat, L Da Xu, A Martin - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
Advanced technologies have changed the nature of business processes in the form of
services. In coordinating services to achieve a particular objective, service workflow is used …

[图书][B] Path planning of cooperative mobile robots using discrete event models

C Mahulea, M Kloetzer, R González - 2020 - books.google.com
Offers an integrated presentation for path planning and motion control of cooperative mobile
robots using discrete-event system principles Generating feasible paths or routes between a …

Deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets

H Hu, MC Zhou, Z Li, Y Tang - IEEE Transactions on Industrial …, 2012 - ieeexplore.ieee.org
In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to
solve the modeling, analysis, and control problems. So far, nearly all known approaches to …

Production scheduling with alternative process plans

R Čapek, P Šůcha, Z Hanzálek - European Journal of Operational …, 2012 - Elsevier
This paper deals with a scheduling problem with alternative process plans that was
motivated by a production of wire harnesses where certain parts can be processed manually …

LTL-based planning in environments with probabilistic observations

M Kloetzer, C Mahulea - IEEE Transactions on Automation …, 2015 - ieeexplore.ieee.org
This research proposes a centralized method for planning and monitoring the motion of one
or a few mobile robots in an environment where regions of interest appear and disappear …

Modeling, analysis and control of discrete event systems: A Petri net perspective

A Giua, M Silva - IFAC-PapersOnLine, 2017 - Elsevier
The goal of this contribution is to briefly overview the historical development of the field of
Petri nets under a System Theory and Automatic Control perspective. It is by far not meant to …