Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Giovanni Chiola
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Symbolic Analysis of Bounded Petri Nets
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Solution Techniques for Stochastic Petri Nets.
Optimal Sensor Selection for Ensuring Diagnosability in Labeled Bounded Petri Nets
IFAC Proceedings Volumes
Validation of Enterprise Architecture Through Colored Petri Nets
Management Science Letters
Accounting
Management
Business
The Symmetry Method for Coloured Petri Nets
DAIMI Report Series
Supervisors of Petri Nets
Research Papers Faculty of Materials Science and Technology Slovak University of Technology
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
Control Optimality for Ordinary Petri Nets
IFAC Proceedings Volumes
Papetri : Environment for the Analysis of PETRI Nets
