Decidability results in First–Order Hybrid PetriNets
Discrete Event Dynamic Systems
Autonomous Continuous P/T Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Modeling of hybrid systems using continuous and hybrid Petri nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
An Improvement of Software Architecture Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying dynamic blog-based learning map in web tutoring assistances
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I
Hypergraph partitioning for the parallel computation of continuous Petri nets
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Transactions on Petri Nets and Other Models of Concurrency V
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
Theoretical Computer Science
Hi-index | 0.00 |