Publications
Filters: First Letter Of Title is O [Clear All Filters]
[PJC-PNPM99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :32-41.
.
1999.
[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.
[PIPRM-97] OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
.
1997.
[1456] On the Performance Estimation and Resource Optimisation in Process Petri Nets. IEEE Transactions on Systems, Man and Cybernetics: Systems. 46(3):1385-1398.
.
2013.
[BooMay96] On the robustness of ALMOST R. Rairo Informatique Theorique et Applications. 30:123-133.
.
1996.
[1447] Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots. ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation.
.
2012.
[1554] Optimizing Cell Decomposition Path Planning for Mobile Robots Using Different Metrics. ICSTCC'2015: 19th International Conference on System Theory, Control and Computing.
.
2015.
[IPCoGiSeJu03] Observers for nondeterministic l-free labeled Petri nets.
.
2003.
[1446] On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
.
2011.
[908] Optimal Control of Discrete Event Systems. International Workshop on Discrete Event Systems, WODES’98. :88-93.
.
1998.
[1318] On the Computation of the Minimal Siphons of $S^4PR$ Nets from a Generating Family of Siphons. 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’2010). :paperMF-002879. Abstract
.
2010.
[1378] On the deadlock analysis of multithreaded control software. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
.
2011.
[LGMC-02b] On the Use of Formal Models in Software Performance Evaluation. :367-387.
.
2002.
[CM-LNCS-06] On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
.
2006.
[BC-QEST-04] On Performance Bounds for Interval Time Petri Nets. :50-59.
.
2004. .
2005. - « first
- ‹ previous
- 1
- 2
- 3