Publications
Filters: First Letter Of Last Name is V [Clear All Filters]
[1340] Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
.
1998.
[RP-82-07] Programmable logic controllers and Petri nets: A comparative study. :29-34.
.
1982.
[RP-83-02] Programmable logic controllers and Petri nets: A comparative study. :83-88.
.
1983.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
[EzVa-03] A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
.
2003.
[1227] Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
.
2009.
[1322] Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
.
2011.
[ICSiTeVaPi98] Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
.
1998.
[ICSiVa89] Petri Nets and Flexible Manufacturing. :374-417.
.
1989.
[RP-90-11] Petri Nets and Flexible Manufacturing. 424:374-417.
.
1990.
[1027] Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems. :37-38.
.
1991.
[1050] Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
.
1992.
[1225] Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
.
2009.
[RP-86-11] On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. :207-241.
.
1986.
[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.
[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.
[IPVaRaReSi08] On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
.
2008.
[1315] Modular/Coordinated control for TCPNs. IFAC World Congress.
.
2011.
[1382] Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
.
2011.
[RP-89-18] Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
.
1989.
.
1988.
.
1989.
[RP-91-03] Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
.
1991.
[1339] Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.
.
1998.
[1491] Introduction to Fluid Petri Nets. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:365-386.
.
2013.