Publications
Filters: First Letter Of Last Name is J [Clear All Filters]
[1529] The bound Reaching Problem on the Fluidization of Timed Petri Nets. 12th Int. Workshop on Discrete Event Systems.
.
2014.
[ARJuReSi05] Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
.
2005.
[IPReJuSi02] Steady State Performance evaluation for some continuous Petri nets. :N479.
.
2002.
[1451] SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
.
2012.
[1283] SimHPN: a MATLAB toolbox for continuous Petri nets. 10th International Workshop on Discrete Event Systems.
.
2010.
.
2004.
[1474] Quantification and compensation of the impact of faults in system throughput. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability. 227(6):28.
.
2013.
[1503] Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Formal Methods in Manufacturing. :409-452.
.
2014.
[1485] PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. Proceedings of the 12th International Conference on Application of Concurrency to System Designs (ACSD).
.
2012.
[238] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
.
1995.
[1502] ON/OFF strategy based minimum-time control of continuous Petri nets. Nonlinear Analysis: Hybrid Systems. 12
.
2014.
[337] On Weighted T-Systems. Application and Theory of Petri Nets 1992. :348-367.
.
1992.
[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.
[1500] On the fluidization of Petri nets and marking homothecy. Nonlinear Analysis: Hybrid Systems. 12:3-19.
.
2014.
[1442] On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
.
2011.
.
2003.
[1296] On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
.
2011.
[IPJuJiReSi04a] On Observability in Timed Continuous Petri Net Systems. :60-69.
.
2004.
[1450] On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications. 21(4):497.
.
2011.
[IPJuReSi02] On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
.
2002.
[IPJiJuReSi05] On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
.
2005.
[IPCoGiSeJu03] Observers for nondeterministic l-free labeled Petri nets.
.
2003.
[RP-91-32] Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
.
1991.
[IPMaMuSi87] Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
.
1991.
[1434] Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
.
2012.