Author of the publication

TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling.

, , and . Comput. Ind. Eng., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Deadlock-Free Scheduling Method for Flexible Manufacturing Systems Based on Timed Colored Petri Nets and Anytime Heuristic Search., , and . IEEE Trans. Syst. Man Cybern. Syst., 45 (5): 831-846 (2015)Simulation analysis of a dynamic ridesharing model., , , , and . WSC, page 1965-1976. IEEE/ACM, (2014)Formalizing geographical models using specification and description language: The wildfire example., , , and . WSC, page 1961-1972. IEEE, (2013)MUSS: a contribution to the structural analysis of continuous system simulation languages.. Polytechnic University of Catalonia, Spain, (1987)PN to CSP Methodology: Improved Bounds., , and . CCIA, volume 2504 of Lecture Notes in Computer Science, page 145-158. Springer, (2002)Relay ladder Logic Diagnosis., , and . AIRTC, page 275-280. Elsevier, (1994)A time stamp reduction method for state space exploration using colored Petri nets., , and . Simulation, 88 (5): 592-616 (2012)Optimization of Logistic and Manufacturing Systems through Simulation: A Colored Petri Net-Based Methodology., , , and . Simulation, 80 (3): 121-129 (2004)Towards on line monitoring the evolution of the myocardium infarction scar with an implantable electrical impedance spectrum monitoring system., , , , , , , , and . EMBC, page 3223-3226. IEEE, (2012)TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling., , and . Comput. Ind. Eng., (2016)