A Formal Semantics of UML StateCharts by Means of Timed Petri Nets

Lecture Notes in Computer Science- Germany

doi 10.1007/11562436_5

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets

DAIMI Report Series
1982English

Timed Petri Nets and BQOs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Formal Test-Case Generation for UML Statecharts

English

Formal Verification of UML Statecharts With Real-Time Extensions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

A Holistic State Equation for Timed Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Realizability of Schedules by Stochastic Time Petri Nets With Blocking Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Advances in Verification of Time Petri Nets and Timed Automata

Studies in Computational Intelligence
Artificial Intelligence
2006English

Deriving Unbounded Petri Nets From Formal Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

On the Integration of UML and Petri Nets in Software Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy