Cover Image

Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Hanifa Boucheneb
Format:	Artículo científico
Language:	en
Published:	Instituto Politécnico Nacional 2006
Subjects:	Computación timed models Formal methods model checking linear properties timed colored Petri net
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Methods for Distributed System Development
by: AJAMI, Khalil, et al.
Published: (2000)

Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool
by: Juan David Contreras
Published: (2018)

Modelling of secondary cooling system with a distributed architecture, using Coloured Petri nets
by: Carlos Alberto Rojas-Gallardo
Published: (2019)

Workflow modelling within selected departments of the public administration focused on the regional office
by: Jan Capek
Published: (2007)

Discrete-Time Modeling and Path-Tracking for a Wheeled Mobile Robot
by: Martin Velasco Villa
Published: (2009)

Semi-formal specifications and formal verification improving the digital design: some statistics
by: D. Torres
Published: (2009)

SOFTWARE FOR FAULT DIAGNOSIS USING KNOWLEDGE MODELS IN PETRI NETS
by: ADRIAN ARBOLEDA
Published: (2012)

A METHODOLOGY FOR KNOWLEDGE MODELING OF FAULT DIAGNOSIS BASED ON PETRI NETS
by: JUAN PALACIO BETANCUR
Published: (2013)

Effect of contact time between alginate impression and type III dental stone on cast model properties
by: Amna Adam Ibrahim
Published: (2015)

Branching Path Planning with Modal Logics
by: Everardo Bárcenas
Published: (2017)

Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets
by: María Elena Villapol
Published: (2012)

Trend change estimation for interrupted time series with heteroscedastic and autocorrelated errors: application in syphilis occurrences in Brazil
by: Eniuce Menezes de Souza
Published: (2022)

Computer Aided Verification of Relational Models by Strategic Rewriting
by: Claudia M. Necco
Published: (2017)

Design of automatic control system based on unified timed hybrid Petri net
by: Israel Francisco Benitez-Pina
Published: (2017)

Automatic Verification of Critical Industrial Process with Automata
by: Luis E. Mendoza Morales
Published: (2016)

A Model Checker for the Verification of Browser Based Protocols
by: Victor Ferman
Published: (2017)

Statistical models in agriculture: biometrical methods for evaluating phenotypic stability in plant breeding
by: Clarice Garcia Borges Demétrio
Published: (2006)

A Model of Decision-Making Based on the Theory of Persuasion used in MMORPGs
by: Helio C. Silva Neto
Published: (2011)

Performance Engineering
by: Serazzi, Giuseppe
Published: (2023)

The PN-PEM framework: a Petri Net Based Parallel Execution Model
by: Gustavo Wolfmann
Published: (2015)

Concurrent Dynamic Visualizations With Expressive Petri Net Representations to Enrich the Understanding of Biological and Pathological Processes: an Application to Signaling Pathways
by: F. Ramos
Published: (2012)

Compositional Synthesis of Distributed System Components based on Augmented marked Graphs
by: K.S. Cheung
Published: (2008)

Classic and bayesian estimation of Subjective Value of Time
by: Margareth Gutiérrez-Torres
Published: (2014)

ClimaQA_SLO - Slovenian Climate Question-Answering Benchmark
by: Ferk Ovčjak, Monika, et al.
Published: (2025)

Study of the dynamic behaviour of the Sancti Petri Channel, southwest coast of Spain
by: J. Vidal
Published: (2005)

A NEW MODEL WITH REGIME SWITCHING ERRORS: FORECASTING GDP IN TIMES OF GREAT RECESSION
by: Algirdas Bartkus
Published: (2016)

Multilevel Regression Analysis for Measuring Adoption Rates in Transport Maintenance Depots Systems in Uganda: An Empirical Study
by: Kizza, Namuyi, et al.
Published: (2006)

Colorants
Published: (2023)

A Dynamic Gesture Recognition System based on CIPBR Algorithm
by: Diego G.S. Santos
Published: (2014)

Crossover of Scrambling and Dissipation Timescales in the SYK_q Model (Version 2.0)
by: Qicai Lai
Published: (2026)

Analyzing Reaction Times
by: R. Harald Baayen
Published: (2010)

Effect of bathymetric changes on residence time in Buenaventura bay (Colombia)
by: Francisco Fernando García-Rentería
Published: (2019)

TSB: A Time-Saved Benchmark for AI Systems — Measuring Net Productivity Impact Across Knowledge Work
by: Shalom Lijo, Solomon
Published: (2026)

Full Model Selection Problem and Pipelines for Time-Series Databases: Contrasting Population-Based and Single-point Search Metaheuristics
by: Nancy Pérez-Castro
Published: (2021)

ANALYSING THE DRYING BEHAVIOR OF JUVENILE AND MATURE Eucalyptus saligna WOOD IN DRASTIC DRYING TEST FOR OPTIMAL DRYING SCHEDULE
by: Bruno Charles Dias Soares
Published: (2016)

Efficient Image Classification using Data Mining
by: Walid MOUDANI
Published: (2011)

Methodological Assessment and Time-Series Forecasting of South African Secondary School Systems: A Clinical Outcomes Perspective
by: Mathebula, Sifiso, et al.
Published: (2004)

An application of the Linear Logistic Test Model for the construction of a Fluid Intelligence Test
by: Thomas Castelain
Published: (2019)

Proving Distributed Coloring of Forests in Dynamic Networks
by: Faten Fakhfakh
Published: (2017)

Cropping Resilient Watermarking Based on Histogram Modification
by: M. Cedillo-Hernandez
Published: (2013)