Publications
Filters: Author is M. Silva [Clear All Filters]
[1547] Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
.
2014.
[RP-87-05] Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
.
1987.
[1362] Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
.
1993.
.
1999.
[RP-84-04] Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
.
1984.
[RP-93-14] Modular composition of intelligent control policies for FMS models. :405-410.
.
1993.
[RP-90-09] Modular Synthesis of Free Choice Nets.
.
1990.
[RP-89-11] Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
.
1989.
[1254] New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
.
2009.
.
2008.
[1250] Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[PJCS-96c] On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T Systems. :201-207.
.
1996.
[PJCS-95] On Approximate Throughput Computation of Deterministic Systems of Sequential Processes. :156-171.
.
1995.
[IPJiJuReSi05] On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
.
2005.
[IPVaRaReSi08] On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
.
2008.
[IPJuReSi02] On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
.
2002.
[IPSiRe03] On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.
.
2003.
[1540] On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
.
2016.
[IPJuJiReSi04a] On Observability in Timed Continuous Petri Net Systems. :60-69.
.
2004.
[RCS-Atlanta-93] On Optimal Scheduling in DEDS. :821-826.
.
1993.
[IPMaReSi06] On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
.
2006.
[RP-91-26] On periodic schedules for deterministically timed Petri nets systems. :210-215.
.
1991.
.
2003.
[IPMaGiReSeSi06] On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
.
2006.
[1346] On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. Seventh European Workshop on Application and Theory of Petri Nets. :207-241.
.
1986.