Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Salvatore Cavalieri
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
Related publications
A New Approach to the System Reliability Analysis Using Reverse Petri Nets
Coloured Petri Nets: A High Level Language for System Design and Analysis
DAIMI Report Series
Integrated Approach Based on High Level Petri Nets for Evaluating Networked Control Systems
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
DAIMI Report Series
Green Procurement Model Using Petri Nets: A Perspective Developed From the Models Applied to the Supply Chain
From Time Petri Nets to Timed Automata: An Untimed Approach
High-Level Petri Net Model Checking With AlPiNA
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
The Harmony Operating System Described by Petri Nets.
