Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller

doi 10.1109/aspec.2007.15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

The Symmetry Method for Coloured Petri Nets

DAIMI Report Series
2002English

Parametrisation of Coloured Petri Nets

DAIMI Report Series
1997English

Coloured Petri Nets and the Invariant-Method

DAIMI Report Series
1983English

Modelling Chronicle Recognition for Distributed Simulation Processing With Coloured Petri Nets

2009English

From Code to Coloured Petri Nets: Modelling Guidelines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Coloured Petri Nets: A High Level Language for System Design and Analysis

DAIMI Report Series
1993English

Particle Filter for Depth Evaluation of Networking Intrusion Detection Using Coloured Petri Nets

2010English

Stochastic DES Fault Diagnosis With Coloured Interpreted Petri Nets

Mathematical Problems in Engineering
MathematicsEngineering
2015English

Coloured Petri Nets With Parallel Composition to Separate Concerns

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy