Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Patrick Nixon
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Timed Petri Nets and BQOs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Time Petri Nets to Timed Automata: An Untimed Approach
A Holistic State Equation for Timed Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
A Methodological Approach for Using High-Level Petri Nets to Model the Immune System Response
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Advances in Verification of Time Petri Nets and Timed Automata
Studies in Computational Intelligence
Artificial Intelligence
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets
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
Coloured Petri Nets: A High Level Language for System Design and Analysis
DAIMI Report Series
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
DAIMI Report Series
