Search filters

List of works by José Manuel Colom Piazuelo

A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states

A Petri Net Structure– Based Deadlock Prevention Solution for Sequential Resource Allocation Systems

A Petri net based deadlock prevention policy for flexible manufacturing systems

Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study

scientific article published in December 2014

Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study

scientific article published on 23 October 2014

Automatic synthesis of colored Petri nets for the control of FMS

Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals ⬇️

scientific article (publication date: 1997)

Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources

article published in 2000

Evaluation of properties over phylogenetic trees using stochastic logics

scientific article

Model checking software for phylogenetic trees using distribution and database methods

scientific article published in December 2013

Model checking software for phylogenetic trees using distribution and database methods

scientific article published on 14 November 2013

Temporal logics for phylogenetic analysis via model checking

scientific article published in July 2013

Paulina is supported by:

About Paulina

Help