Publications
]
[912] .
2000. An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
[883] .
1998. Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets. :309-373.
[269] .
1992. Linear Algebraic Techniques for the Analysis of Petri Nets. Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II. :35-42.
[ICTeSi93] .
1993. Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993. 691:415-432.
[1341] .
1998. Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.
[1487] .
2013. A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.
[IPMaMuSi87] .
1991. Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
[200] .
1993. Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
[911] .
2000. New Methods for Deadlock Prevention and Avoidance in Concurrent Systems. Actas de las VIII Jornadas de Concurrencia. :97-110.
[ICEzCoSi93] .
1993. A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Coloured Petri Nets. Advances in Petri Nets. 674:126-147.
[271] .
1990. On liveness analysis through linear algebraic techniques. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
[ICEsSi90b] .
1991. On the Analysis and Synthesis of Free Choice Systems. Advances in Petri Nets 90. 483:243-286.
[365] .
1988. On the Computation of Structural Synchronic Invariants in P/T Nets. Advances in Petri Nets 1988. :386-417.
[337] .
1992. On Weighted T-Systems. Application and Theory of Petri Nets 1992. :348-367.
[238] .
1995. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
[245] .
1994. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Performance Evaluation of parallel and distributed systems. Solution Methods. :197-213.
[1344] .
1987. Packages for validating discrete production systems modeled with Petri nets. Applied Modelling and Simulation of Technological Systems. :529-536.
[1503] .
2014. Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Formal Methods in Manufacturing. :409-452.
[1064] .
1993. A Petri Net Approach for the Analysis of VHDL Descriptions. Correct Hardware Design and Verification Methods. :15-26.
[1050] .
1992. Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
[ICSiTeVaPi98] .
1998. Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
[1322] .
2011. Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
[1335] .
2002. Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
[1340] .
1998. Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
[1256] .
2009. Qualitative versus Quantitative Techniques in a Petri net settings. Buletinul Institutului Politehnic din Iasi. Tomul LV (LIX), Fasc. 4:35-46.
