Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Francesco Bedini
Towards Automated fUML Model Verification With Petri Nets
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
Timing Constraint Petri Nets and Their Schedulability Analysis and Verification
Ruan Jian Xue Bao/Journal of Software
Software
Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems
Advances in Verification of Time Petri Nets and Timed Automata
Studies in Computational Intelligence
Artificial Intelligence
Animation Modeling With Petri Nets
Computers and Graphics
Computer Graphics
Pattern Recognition
Human-Computer Interaction
Computer Vision
Engineering
Computer-Aided Design
Signal Processing
Software
Verification of Cloud Based Information Integration Architecture Using Colored Petri Nets
International Journal of Computer Network and Information Security
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
Generation of Database Transactions With Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Supervisors of Petri Nets
Research Papers Faculty of Materials Science and Technology Slovak University of Technology
