77 results on '"Lopez-Mellado, Ernesto"'
Search Results
2. Counting Finite Transition Sequences of Block Structured Workflow Nets
3. Inferring the Repetitive Behaviour from Event Logs for Process Mining Discovery
4. An Abstraction Method of Interpreted Petri Nets Preserving the Equivalence of the Controllable Observable Language
5. Qualitative Assessment of the Exceeding Behaviour of Discovered Petri Nets
6. Distributed Methods for Multi-Sink Wireless Sensor Networks Formation
7. Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes
8. CTL Model Repair for Inter-organizational Business Processes Modelled as oWFN
9. Distributed Methods for Multi-Sink Wireless Sensor Networks Formation
10. Petri Nets Identification Techniques for Automated Modelling of Discrete Event Processes
11. Discovering a Class of Workflow Nets with Reduced Exceeding Language
12. Fuzzy State Estimation of Discrete Event Systems
13. Modeling and Simulation of Mobile Agents Systems Using a Multi-level Net Formalism
14. Modelling Networked Agents’ Behaviour using Timed Hybrid Petri Nets
15. State-Stability Analysis of Discrete Event Systems using Petri-net Branching Processes
16. Discovering Structurally Simple Workflow Nets by Vector-Based Trace Clustering
17. A modeling framework for urban traffic systems microscopic simulation
18. Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels
19. Observability of discrete event systems modeled by interpreted Petri nets
20. Multilevel Petri Nets for the Specification and Development of Workflow Automation Systems
21. Precision Evaluation of a class of Timed Workflow Nets
22. A Reconfiguration Framework for Multi-Sink Wireless Sensor Networks
23. Modelling of batch production systems using Petri nets with dynamic tokens
24. Stability Analysis of Discrete Event Systems Modeled by Petri Nets Using Unfoldings
25. Discovering Petri Net Models of Discrete-Event Processes by Computing T-Invariants
26. Modelling and simulation of complex workflow processes using multi-level Petri nets
27. A Black-Box Identification Method for Automated Discrete-Event Systems
28. An Agent Based Framework for Multi-Sink Wireless Sensor Networks
29. An Agent Based Framework for Multi-Sink Wireless Sensor Networks.
30. A localized multi-sink multi-hop algorithm for wireless sensor networking
31. Partial Reconfiguration of Control Systems using Petri Nets Structural Redundancy
32. A modeling methodology for designing agents networks using timed hybrid Petri nets.
33. Multi-Level Modeling of Multi-Mobile Agent Systems
34. Petri net discovery of discrete event processes by computing t-invariants
35. A CTL model repair method for Petri Nets
36. Special section on the IFAC Workshop on Discrete Event Systems—WODES’12
37. Identification of partially observable discrete event manufacturing systems
38. A Novel Distributed Energy-Efficient Self-Organized Algorithm for Wireless Ad Hoc Networks
39. Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers
40. A multi-objective PSO strategy for energy-efficient ad-hoc networking
41. A modeling framework for developing networked agents applications
42. State estimation of partially observable des using Fuzzy timed Petri Nets
43. Stepwise identification of automated discrete manufacturing systems
44. State uncertainty analysis of Fuzzy Timed DES
45. A Self-Organization Algorithm for Robust Networking of Wireless Devices
46. An identification method for PLC-based automated Discrete Event Systems
47. Wireless Network Formation and Maintaining for Mobile Devices Based on Self-Organization Strategies
48. A population control protocol for mobile agent based workflow automation
49. Mobile agent based automation of distributed workflow processes
50. A redundancy based method for Petri net model reconfiguration
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.