Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Maria Paola Cabasino
Optimal Sensor Selection for Ensuring Diagnosability in Labeled Bounded Petri Nets
IFAC Proceedings Volumes
A New Protocol for the Decentralized Diagnosis of Labeled Petri Nets
IFAC Proceedings Volumes
Related publications
The Complexity of Diagnosability and Opacity Verification for Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Symbolic Analysis of Bounded Petri Nets
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting
IFAC Proceedings Volumes
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Energy Modeling of Wireless Sensor Nodes Based on Petri Nets
Control Optimality for Ordinary Petri Nets
IFAC Proceedings Volumes
Compositional Reachability in Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
