Works matching DE "PETRI nets"
Results: 2317
A modeling-based approach for dependability analysis of a constellation of satellites: A modeling-based approach for dependability analysis of a constellation of satellites: D. Farias et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 209, doi. 10.1007/s10270-024-01197-7
- By:
- Publication type:
- Article
Control Law for Two-Process Flexible Manufacturing Systems Modeled Using Petri Nets.
- Published in:
- Mathematics (2227-7390), 2025, v. 13, n. 4, p. 611, doi. 10.3390/math13040611
- By:
- Publication type:
- Article
Verification of Detectability for Time Labeled Petri Net Systems with Unobservable Transitions.
- Published in:
- Mathematics (2227-7390), 2025, v. 13, n. 4, p. 563, doi. 10.3390/math13040563
- By:
- Publication type:
- Article
Modelling and Analysis of Emergency Scenario Evolution System Based on Generalized Stochastic Petri Net.
- Published in:
- Systems, 2025, v. 13, n. 2, p. 107, doi. 10.3390/systems13020107
- By:
- Publication type:
- Article
Modeling Mobile Applications for Proximity-Based Promotion Delivery to Shopping Centers Using Petri Nets.
- Published in:
- Computers (2073-431X), 2025, v. 14, n. 2, p. 50, doi. 10.3390/computers14020050
- By:
- Publication type:
- Article
Scalability of eVTOL Systems: Insights from Multi-Pad Configurations and CPN Analysis.
- Published in:
- Aerospace (MDPI Publishing), 2025, v. 12, n. 2, p. 147, doi. 10.3390/aerospace12020147
- By:
- Publication type:
- Article
Modeling and Simulation of Electric Vehicles Charging Services by a Time Colored Petri Net Framework.
- Published in:
- Energies (19961073), 2025, v. 18, n. 4, p. 867, doi. 10.3390/en18040867
- By:
- Publication type:
- Article
Representing Conversations for Scalable Overhearing.
- Published in:
- Journal of Artificial Intelligence Research, 2006, v. 25, p. 349, doi. 10.1613/jair.1829
- By:
- Publication type:
- Article
ML-TIPN: An Algorithm for Automated Acquisition of Domain Models based on Time Interval Petri Nets.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2006, v. 12, n. 5-6, p. 391
- By:
- Publication type:
- Article
CONTROLLING THE DELIVERING OF PROJECTS IN MEGA-EVENTS: AN APPLICATION ON EXPO 2015.
- Published in:
- Event Management, 2014, v. 18, n. 3, p. 285, doi. 10.3727/152599514X13989500765763
- By:
- Publication type:
- Article
MODELING INTERACTIVE MEMEX-LIKE APPLICATIONS BASED ON SELF-MODIFIABLE PETRI NETS.
- Published in:
- International Journal of Information Technology & Decision Making, 2004, v. 3, n. 3, p. 395, doi. 10.1142/S0219622004001185
- By:
- Publication type:
- Article
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 1, p. 351, doi. 10.1007/s10270-022-01008-x
- By:
- Publication type:
- Article
Modeling of, for, and with digital twins.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 5, p. 1685, doi. 10.1007/s10270-022-01046-5
- By:
- Publication type:
- Article
An efficient and scalable search engine for models.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 5, p. 1715, doi. 10.1007/s10270-021-00960-4
- By:
- Publication type:
- Article
Simulation and analysis of MultEcore multilevel models based on rewriting logic.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 2, p. 561, doi. 10.1007/s10270-021-00947-1
- By:
- Publication type:
- Article
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 2, p. 505, doi. 10.1007/s10270-020-00817-2
- By:
- Publication type:
- Article
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 5, p. 2973, doi. 10.1007/s10270-019-00716-1
- By:
- Publication type:
- Article
Conformance checking in UML artifact-centric business process models.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 4, p. 2531, doi. 10.1007/s10270-018-0681-6
- By:
- Publication type:
- Article
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 3, p. 2241, doi. 10.1007/s10270-018-0663-8
- By:
- Publication type:
- Article
Testing concurrent user behavior of synchronous web applications with Petri nets.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 913, doi. 10.1007/s10270-018-0655-8
- By:
- Publication type:
- Article
Formal modeling of biomedical signal acquisition systems: source of evidence for certification.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1467, doi. 10.1007/s10270-017-0616-7
- By:
- Publication type:
- Article
Change propagation and bidirectionality in internal transformation DSLs.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 249, doi. 10.1007/s10270-017-0617-6
- By:
- Publication type:
- Article
Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 721, doi. 10.1007/s10270-017-0593-x
- By:
- Publication type:
- Article
Scenario-based system design with colored Petri nets: an application to train control systems.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 295, doi. 10.1007/s10270-016-0517-1
- By:
- Publication type:
- Article
Model checking multi-level and recursive nets.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 4, p. 1117, doi. 10.1007/s10270-015-0509-6
- By:
- Publication type:
- Article
Supporting aspect orientation in business process management.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 3, p. 903, doi. 10.1007/s10270-015-0496-7
- By:
- Publication type:
- Article
Petri nets in systems biology.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 703, doi. 10.1007/s10270-014-0421-5
- By:
- Publication type:
- Article
The Petri net twist in explicit model checking.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 711, doi. 10.1007/s10270-014-0422-4
- By:
- Publication type:
- Article
The concepts of Petri nets.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 669, doi. 10.1007/s10270-014-0423-3
- By:
- Publication type:
- Article
Business process management as the 'Killer App' for Petri nets.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 685, doi. 10.1007/s10270-014-0424-2
- By:
- Publication type:
- Article
Petri nets for the control of discrete event systems.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 693, doi. 10.1007/s10270-014-0425-1
- By:
- Publication type:
- Article
Recent and simple algorithms for Petri nets.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 719, doi. 10.1007/s10270-014-0426-0
- By:
- Publication type:
- Article
Petri and how he saw the world.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 727, doi. 10.1007/s10270-014-0427-z
- By:
- Publication type:
- Article
Special section of SoSyM dedicated to 50 years of Petri nets.
- Published in:
- 2015
- By:
- Publication type:
- Editorial
Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets.
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 4, p. 1447, doi. 10.1007/s10270-012-0292-6
- By:
- Publication type:
- Article
A component-based end-to-end simulation of the Linux file system.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 4, p. 745, doi. 10.1007/s10270-012-0253-0
- By:
- Publication type:
- Article
Performance modeling and analysis of message-oriented event-driven systems.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 4, p. 705, doi. 10.1007/s10270-012-0228-1
- By:
- Publication type:
- Article
Design for service compatibility.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 3, p. 489, doi. 10.1007/s10270-012-0229-0
- By:
- Publication type:
- Article
Remarks on Egon Börger: 'Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11:305-318'.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 1, p. 5, doi. 10.1007/s10270-012-0306-4
- By:
- Publication type:
- Article
Verifying workflow processes: a transformation-based approach.
- Published in:
- Software & Systems Modeling, 2011, v. 10, n. 2, p. 253, doi. 10.1007/s10270-010-0149-9
- By:
- Publication type:
- Article
Aromaticity and Magnetic Behavior in Benzenoids: Unraveling Ring Current Combinations.
- Published in:
- Chemistry - A European Journal, 2024, v. 30, n. 1, p. 1, doi. 10.1002/chem.202302415
- By:
- Publication type:
- Article
An exclusive U-net for fine and crisp edge detection.
- Published in:
- Multimedia Tools & Applications, 2024, v. 83, n. 18, p. 54657, doi. 10.1007/s11042-023-17706-7
- By:
- Publication type:
- Article
MSA-Net: Multi-scale attention network for image splicing localization.
- Published in:
- Multimedia Tools & Applications, 2024, v. 83, n. 7, p. 20587, doi. 10.1007/s11042-023-16131-0
- By:
- Publication type:
- Article
ADM-Net: attentional-deconvolution module-based net for noise-coupled traffic sign recognition.
- Published in:
- Multimedia Tools & Applications, 2022, v. 81, n. 16, p. 23373, doi. 10.1007/s11042-022-12219-1
- By:
- Publication type:
- Article
Multi-touch gesture recognition of Braille input based on Petri Net and RBF Net.
- Published in:
- Multimedia Tools & Applications, 2022, v. 81, n. 14, p. 19395, doi. 10.1007/s11042-021-11156-9
- By:
- Publication type:
- Article
Train here, drive there: ROS based end-to-end autonomous-driving pipeline validation in CARLA simulator using the NHTSA typology.
- Published in:
- Multimedia Tools & Applications, 2022, v. 81, n. 3, p. 4213, doi. 10.1007/s11042-021-11681-7
- By:
- Publication type:
- Article
Discrete Isothermic Nets Based on Checkerboard Patterns.
- Published in:
- Discrete & Computational Geometry, 2024, v. 72, n. 1, p. 209, doi. 10.1007/s00454-023-00558-1
- By:
- Publication type:
- Article
Generating an Equidistributed Net on a Sphere Using Random Rotations.
- Published in:
- Discrete & Computational Geometry, 2022, v. 67, n. 1, p. 231, doi. 10.1007/s00454-021-00333-0
- By:
- Publication type:
- Article
Integration of task networks and cognitive user models using coloured Petri nets and its application to job design for safety and productivity.
- Published in:
- Cognition, Technology & Work, 2005, v. 7, n. 4, p. 241, doi. 10.1007/s10111-005-0010-z
- By:
- Publication type:
- Article
Modelling of cognitive activity during normal and abnormal situations using Object Petri Nets, application to a supervision system.
- Published in:
- Cognition, Technology & Work, 2005, v. 7, n. 3, p. 167, doi. 10.1007/s10111-005-0184-4
- By:
- Publication type:
- Article