Publications
] Filters: Author is J. Campos [Clear All Filters]
[LGMC-02c] .
2002. Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
[MCM-LNCS-01] .
2001. A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
[MCM-SEPN-00] .
2000. Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
[SC-wodes98] .
1998. Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
[276] .
1990. Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
[C-MATCH8-98] .
1998. Performance Measures and Basic Properties. :285-304.
[SC-Brussels-93] .
1993. Performance Models Based on Petri Nets. :xiv-xxi.
[C-RR-00-00] .
2000. Petri Nets.
[BC-StMalo-97] .
1997. PNPM97 Tutorial Approximate Methods Based on Net Driven Decompositions.
[C-Zaragoza-99] .
1999. PNPM99-PAPM99-NSMC99 Tutorial: Properties and Bounds on P/T Nets.
[ETFA09] .
2009. Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation.
[CCS-TAC-91] .
1991. Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.
[258] .
1992. Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.
[CCS-Kyoto-89] .
1989. Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
[262] .
1991. A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets. 12th International Conference on Application and Theory of Petri Nets. :237-256.
[C-MATCH23-98] .
1998. Response Time Approximation for Stochastic Marked Graphs. :797-817.
[MC-LNCS-04] .
2004. Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
[GBC-IROS-04] .
2004. Solving the Mobile Robot Localization Problem Using String Matching Algorithms. :2475-2480.
[PJCS-96a] .
1996. State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes. :1159-1165.
[CS-DS-90] .
1990. Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
[CS-Lyon-89] .
1989. Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :559-585.
[1482] .
2014. Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract
[SC-Erlangen-95] .
1995. Structural Performance Analysis of Stochastic Petri Nets. :61-70.
[CS-LNCS-92] .
1992. Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
