Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by E. Pelz
A Holistic State Equation for Timed Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Related publications
Timed Petri Nets and BQOs
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
From Time Petri Nets to Timed Automata: An Untimed Approach
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symmetry Reduced State Classes for Time Petri Nets
Advances in Verification of Time Petri Nets and Timed Automata
Studies in Computational Intelligence
Artificial Intelligence
On State-Space Compression and State Reachability Retrieval of Petri Nets
Advances in Mechanical Engineering
Mechanical Engineering
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Control Optimality for Ordinary Petri Nets
IFAC Proceedings Volumes
