Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

109

Voted

ICRA
1993
IEEE

114views Robotics» more ICRA 1993»

A Class of Petri Nets with a Convex Reachability Set

15 years 8 months ago

A Class of Petri Nets with a Convex Reachability Set

Download bode.diee.unica.it

Alessandro Giua, Frank DiCesare

Real-time Traffic

ICRA 1993 | Robotics |

claim paper

Related Content

» Petri Nets with Simple Circuits

» Unbounded Petri Net Synthesis

» Parametric ModelChecking of Time Petri Nets with Stopwatches Using the StateClass Graph

» ObjectOriented Modelling with HighLevel Modular Petri Nets

» Symbolic State Space of Stopwatch Petri Nets with DiscreteTime Semantics Theory Paper

» Reachability Set Generation for Petri Nets Can Brute Force Be Smart

» Decidability Results for Restricted Models of Petri Nets with Name Creation and Replicatio...

» On Yens Path Logic for Petri Nets

» Reachability analysis for a class of Petri nets

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1993
Where	ICRA
Authors	Alessandro Giua, Frank DiCesare

Comments (0)