Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aletta Nylén
Timed Petri Nets and BQOs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Holistic State Equation for Timed Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Advances in Verification of Time Petri Nets and Timed Automata
Studies in Computational Intelligence
Artificial Intelligence
From Time Petri Nets to Timed Automata: An Untimed Approach
State Space Analysis of Flexible Manufacturing Cell Using Timed Colored Petri Nets
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Supervisors of Petri Nets
Research Papers Faculty of Materials Science and Technology Slovak University of Technology
Modelling and Simulation of a Multi-Phase Traffic Light Controlled T-Type Junction Using Timed Coloured Petri Nets
American Journal of Scientific and Industrial Research
Modelling and Validation of a Multi-Phase Traffic Light Controlled Cross-Type Intersection Using Timed Coloured Petri Nets
American Journal of Scientific and Industrial Research
