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

Periodica polytechnica Electrical engineering and computer science - Hungary
doi 10.3311/ppee.2080
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Periodica Polytechnica Budapest University of Technology and Economics

Related search

Parametrisation of Coloured Petri Nets

DAIMI Report Series
1997English

Schedule Optimization Based on Coloured Petri Nets and Local Search

SNE Simulation Notes Europe
2013English

Coloured Petri Nets and the Invariant-Method

DAIMI Report Series
1983English

The Symmetry Method for Coloured Petri Nets

DAIMI Report Series
2002English

From Code to Coloured Petri Nets: Modelling Guidelines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Stochastic DES Fault Diagnosis With Coloured Interpreted Petri Nets

Mathematical Problems in Engineering
MathematicsEngineering
2015English

Formalisation and Simulation of Operating Rules Using Coloured Petri Nets

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

Coloured Petri Nets With Parallel Composition to Separate Concerns

2010English

Analysing Coloured Petri Nets by the Occurrence Graph Method

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