Search Results - discrete event simulation 1 1 Timed Concurrent Constraint Programming

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations.

Authors: Hocaoğlu, Mehmet Fatih

Source: Simulation; Sep2025, Vol. 101 Issue 9, p951-979, 29p

Subject Terms: PETRI nets, LOGIC programming, SCHEDULING, SIMULATION methods & models, DISCRETE event simulation, MODULAR design

An interpreter for Timed Concurrent Constraints in Mozart (Extended Abstract)

Authors: Thomas Sjöland Erik Klintskog Seif Haridi et al.

Contributors: Thomas Sjöland Erik Klintskog Seif Haridi et al.

Source: http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz.

Subject Terms: discrete event simulation 1 1 Timed Concurrent Constraint Programming

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4269; http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4269
http://www.it.kth.se/%7Esjoland/cotic/cotic2001.ps.gz

Large scale system design aided by modelling and DES simulation: A Petri net approach.

Authors: Arronategui, Unai Bañares, José Ángel Colom, José Manuel

Source: Software: Practice & Experience; Feb2025, Vol. 55 Issue 2, p243-271, 29p

Subject Terms: PETRI nets, DISCRETE systems, LARGE scale systems, DISCRETE event simulation, MODELS & modelmaking

AUGS 46th Annual Scientific Meeting.

Source: Urogynecology; 2025Supplement, Vol. 31, pS1-S542, 542p

xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems.

Authors: Risco‐Martín, José L. Mittal, Saurabh Henares, Kevin et al.

Source: Software: Practice & Experience; Mar2023, Vol. 53 Issue 3, p748-789, 42p

Subject Terms: DISCRETE systems, DISCRETE event simulation, SYSTEMS engineering, SIMULATION methods & models, APPLICATION program interfaces, PROGRAMMING languages, PYTHON programming language

Domain-specific discrete event modelling and simulation using graph transformation.

Authors: Lara, Juan Guerra, Esther Boronat, Artur et al.

Source: Software & Systems Modeling; Feb2014, Vol. 13 Issue 1, p209-238, 30p

Subject Terms: GRAPHIC methods, SEMANTICS, VISUAL programming languages (Computer science), COMPUTER simulation, MAUDE (Computer program language), PROGRAMMING languages

Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation.

Authors: Wang, Bing Deng, Bo Xing, Fei et al.

Source: Mathematical & Computer Modelling of Dynamical Systems; Mar2015, Vol. 21 Issue 2, p153-179, 27p

Subject Terms: GRAPH theory, DISCRETE systems, SIMULATION methods & models, LOTKA-Volterra equations, DOMAIN-specific programming languages, DATA transformations (Statistics)

Modeling, Relocation, and Real-Time Inventory Control of One-Way Electric Cars Sharing Systems in a Stochastic Petri Nets Framework.

Authors: Benarbia, Taha Axhausen, Kay W. Farooq, Bilal

Source: IEEE Transactions on Intelligent Transportation Systems; May2021, Vol. 22 Issue 5, p2846-2861, 16p

The Liver Meeting: 2025 Abstracts.

Source: Hepatology (02709139); 2025Supplement, Vol. 82, pS1-S2308, 2308p

PSML: parallel system modeling and simulation language for electronic system level.

Authors: Poshtkohi, Alireza Ghaznavi-Ghoushchi, M. B. Saghafi, Kamyar

Source: Journal of Supercomputing; May2019, Vol. 75 Issue 5, p2691-2724, 34p

Subject Terms: PARALLEL algorithms, DISCRETE event simulation, EMBEDDED computer systems, SIMULATION methods & models, COMPUTER simulation

Parallel discrete event simulation of Transaction Level Models.

Authors: Domer, Rainer Chen, Weiwei Han, Xu

Source: 17th Asia & South Pacific Design Automation Conference; 1/ 1/2012, p227-231, 5p

A new technique for rare-event simulation based on partition of the region.

Authors: BIDGOLY, Amir Jalaly AZGOMI, Mohammad Abdollahi

Source: Turkish Journal of Electrical Engineering & Computer Sciences; 2013, Vol. 21 Issue 2, p309-329, 21p

Subject Terms: COMPUTER simulation, PARTITIONS (Mathematics), DISCRETE systems, APPLICATION software, STOCHASTIC analysis, ERROR analysis in mathematics

Capacity-constrained production scheduling of multiple vehicle programs in an automotive pilot plant.

Authors: Al-Aomar, R.

Source: International Journal of Production Research; 7/1/2006, Vol. 44 Issue 13, p2573-2604, 32p

Subject Terms: PILOT plants, PRODUCTION scheduling, AUTOMOBILE industry, RESOURCE management

Modeling Biological Systems in Stochastic Concurrent Constraint Programming.

Authors: Luca Bortolussi Alberto Policriti

Source: Constraints: An International Journal; Jun2008, Vol. 13 Issue 1/2, p66-90, 25p

Models and emerging trends of concurrent constraint programming.

Authors: Olarte, Carlos Rueda, Camilo Valencia, Frank

Source: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p

Survey of Languages and Runtime Libraries for Parallel Discrete-Event Simulation.

Authors: Low, Yoke-Hean Lim, Chu-Cheow Wentong Cai et al.

Source: Simulation; Mar1999, Vol. 72 Issue 3, p170-186, 17p

(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program.

Authors: Bortolussi, Luca Policriti, Alberto

Source: Journal of Logic & Computation; Aug2013, Vol. 23 Issue 4, p761-798, 38p

Subject Terms: CONSTRAINT programming, STOCHASTIC programming, STOCHASTIC processes, PROBABILISTIC automata, COMPUTER programming, SEMANTIC computing, INFORMATION theory

Neuropalliative care in a tertiary-level hospital.

Authors: Swerts, Diego Araújo, Ana Vulcano, Polyana et al.

Source: BMJ Supportive & Palliative Care; 2024 Supplement, Vol. 14, pe2804-e2811, 408p

Program Abstracts from the GSA 2024 Annual Scientific Meeting, “The Fortitude Factor”.

Source: Innovation in Aging; 2024 Supplement, Vol. 8, p1-1377, 1377p

A Discussion Regarding The Function Of Computers In Online Criminal Investigation For Companies During Disasters And Cyber Crises: An Exhaustive Research.

Authors: Peng Jiny Midhunchakkaravarthy, Divya

Source: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p5334-5342, 9p

Subject Terms: DIGITAL forensics, CRIMINAL investigation, DATA recovery, CORPORATE governance, CYBERTERRORISM