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 …
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …
Model-driven safety analysis of closed-loop medical systems
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 …
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 …
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
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 …
discrete event dynamic models, an efficient technique for dealing with the classical state …
SWSpec: The requirements specification language in service workflow environments
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 …
services. In coordinating services to achieve a particular objective, service workflow is used …
[图书][B] Path planning of cooperative mobile robots using discrete event models
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 …
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
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 …
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 …
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 …
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
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 …
Petri nets under a System Theory and Automatic Control perspective. It is by far not meant to …