Transformation of DEMO Model Into Coloured Petri Net - Ontology Based Simulation

doi 10.5220/0005137803880396
Full Text
Abstract

Available in full text

Date
Authors
Publisher

SCITEPRESS - Science and and Technology Publications

Related search

Diagnosis of Technological Systems Based on Their Coloured Petri Net Model

IFAC Proceedings Volumes
2012English

Advanced Saturation-Based Model Checking of Well-Formed Coloured Petri Nets

Periodica polytechnica Electrical engineering and computer science
Electronic EngineeringInformation SystemsSignal ProcessingComputer NetworksCommunicationsComputer Science ApplicationsElectricalSoftware
2014English

Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net

International Journal of Computer Applications
2013English

Formalisation and Simulation of Operating Rules Using Coloured Petri Nets

WIT Transactions on the Built Environment
BuildingReliabilityArtsTransportationRiskHumanitiesAutomotive EngineeringStructural EngineeringCivilConstructionSafetyArchitectureComputer Science ApplicationsSafety ResearchQuality
2006English

A Novel Authentication Procedure for Secured Web Login Using Coloured Petri Net

International Journal of Simulation: Systems, Science and Technology
ModelingSoftwareSimulation
2019English

Modeling of Complex Apron Conflict Control Based on Petri Net Model

2016English

Cast Aluminum Energy Consumption Model Based on Fuzzy Petri Net

2016English

Modeling, Implementation and Simulation of Virtual Factory Based on Colored Timed Petri Net

English

Parametrisation of Coloured Petri Nets

DAIMI Report Series
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy