Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. Giua
Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods”
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Related publications
Control of Safe Ordinary Petri Nets Using Unfolding
Discrete Event Dynamic Systems: Theory and Applications
Control
Electronic Engineering
Systems Engineering
Simulation
Electrical
Modeling
Time-Independent Liveness in Time Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Preserving Partial Order Runs in Parametric Time Petri Nets
Control Optimality for Ordinary Petri Nets
IFAC Proceedings Volumes
Symbolic Analysis of Bounded Petri Nets
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Optimal Sensor Selection for Ensuring Diagnosability in Labeled Bounded Petri Nets
IFAC Proceedings Volumes
Modeling and Control of Discrete-Event Systems With Partial Non-Determinism Using Petri Nets
Acta Polytechnica Hungarica
Engineering
Multidisciplinary
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
