Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
[1256] Qualitative versus Quantitative Techniques in a Petri net settings. Buletinul Institutului Politehnic din Iasi. Tomul LV (LIX), Fasc. 4:35-46.
.
2009.
[1407] Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
.
2012.
[1467] Speeding Up Phylogenetic Model Checking. 7th International Conference on Practical Applications of Computational Biology and Bioinformatics. 222:119-126. Abstract
.
2013.
[1333] Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
.
2003.
[RP-87-03] Aproximación a los robots inteligentes. :265-279.
.
1987.
[EFDAIT] Effective fractal dimension in algorithmic information theory. :259-285.
.
2008.
[RP-86-04] La programación de los robots industriales. Sistemas CAD/CAM/CAE. :259-272.
.
1986.
[RP-85-08] A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems. :369-388.
.
1985.
[ICCoMa90] Linear Invariants in Commutative High Level Nets. :146-165.
.
1991.
[RP-89-18] Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
.
1989.
[RP-85-07] Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
.
1985.
[RP-91-32] Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
.
1991.
[RP-83-01] A package for computer design of concurrent logic control systems. :243-248.
.
1983.
[RP-87-02] Packages for validating discrete production systems modelled with Petri nets. :529-536.
.
1987.
[MCM-LNCS-01] A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
.
2001.
[1326] Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1
.
2003.
[RP-92-33] Petri Nets as a specification language for manufacturing systems. :427-436.
.
1992.
[RP-90-14] Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
.
1990.
.
2007.
[AmbMay97] Resource Bounded Measure and Randomness. :1-47.
.
1997.
[RP-86-05] Robot programming and robot vision. :11-29.
.
1986.
[RP-82-02] A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
.
1982.
[LutMayTPRBM] Twelve problems in resource bounded measure. :83-101.
.
2001.