Publications
] Filters: First Letter Of Last Name is M [Clear All Filters]
[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.
[238] .
1995. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
[1344] .
1987. Packages for validating discrete production systems modeled with Petri nets. Applied Modelling and Simulation of Technological Systems. :529-536.
[1064] .
1993. A Petri Net Approach for the Analysis of VHDL Descriptions. Correct Hardware Design and Verification Methods. :15-26.
[1322] .
2011. Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
[1256] .
2009. Qualitative versus Quantitative Techniques in a Petri net settings. Buletinul Institutului Politehnic din Iasi. Tomul LV (LIX), Fasc. 4:35-46.
[1407] .
2012. Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1467] .
2013. Speeding Up Phylogenetic Model Checking. 7th International Conference on Practical Applications of Computational Biology and Bioinformatics. 222:119-126. Abstract
[1333] .
2003. Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
[1552] .
2015. Accomplish Multi-Robot Tasks Via Petri Net Models. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
[AESETPBI] .
1992. Almost every set in exponential time is P-bi-immune. 629:392-400.
[975] .
1985. Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
[1443] .
2011. Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
[PMM-ICPE12] .
2012. Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[GMM06] .
2006. ArgoSPE: Model-based software performance engineering. 4024:401-410.
[1550] .
2014. An Assembly Problem with Mobile Robots. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
[1310] .
2009. Building maintainable, exhaustive human mitochondrial phylogenies. 17 Annual International Conference on Intelligent Systems for Molecular Biology/8th European Conference.
[BaHeMa92] .
1992. Characterizations of logarithmic advice complexity classes. :315-321.
[1508] .
2011. Cloud-based Assistive Technology Services. Proceedings of the 3rd Workshop on Software Services: Semantic-based Software Services (WoSS) at the Federated Conference on Computer Science and Information Systems (FedCSIS).
[1555] .
2015. Collision avoidance of mobile robots by using initial time delays. CDC'2015: 54th IEEE Conference on Decision and Control.
[AmMaZh96] .
1996. A Comparison of Weak Completeness Notions. :171-178.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[1514] .
2014. Computing minimal siphons in Petri net models of Resource Allocation Systems: An evolutionary approach. International Workshop on Petri Nets and Software Engineering (PNSE'14).
