Statechartable Petri nets

DOI10.1007/S00165-011-0204-5zbMath1298.68190OpenAlexW2091334798MaRDI QIDQ470022

Rik Eshuis

Publication date: 11 November 2014

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0204-5

zbMATH Keywords

Petri netsformal translationstatecharts

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• StateFlow
• PEP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reconciling statechart semantics
• Statecharts: a visual formalism for complex systems
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
• On the power of bounded concurrency I
• Quantitative Analysis of UML Statechart Models of Dependable Systems
• What is in a step: On the semantics of statecharts
• Modelling a Railway Crossing with Message Sequence Charts and Petri Nets
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Coupling asynchrony and interrupts: Place Chart Nets

This page was built for publication: Statechartable Petri nets