Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paolo Ballarini
Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems
Model Checking Medium Access Control for Sensor Networks
Related publications
Modelling and Control of Flexible Manufacturing Systems by Means of Interpreted Petri Nets
Journal of Automation, Mobile Robotics and Intelligent Systems
Control
Systems Engineering
Signal Processing
Artificial Intelligence
Compositional Reachability in Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
State Space Analysis of Flexible Manufacturing Cell Using Timed Colored Petri Nets
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Animation Modeling With Petri Nets
Computers and Graphics
Computer Graphics
Pattern Recognition
Human-Computer Interaction
Computer Vision
Engineering
Computer-Aided Design
Signal Processing
Software
Towards Automated fUML Model Verification With Petri Nets
The Complexity of Diagnosability and Opacity Verification for Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Modeling and Simulation of Projects With Petri Nets
American Journal of Applied Sciences
Multidisciplinary
Modeling, Analyzing and Controlling Hybrid Systems by Guarded Flexible Nets
Nonlinear Analysis: Hybrid Systems
Control
Systems Engineering
Computer Science Applications
Analysis
Advances in Verification of Time Petri Nets and Timed Automata
Studies in Computational Intelligence
Artificial Intelligence