Statechartable Petri nets

DOI10.1007/S00165-011-0204-5MaRDI QIDQ470022zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Statecharts, transition structures and transformations
• Statecharts: a visual formalism for complex systems
• Horizontal and vertical structuring techniques for statecharts
• scientific article; zbMATH DE number 2086960
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 1973117 (Why is no real title available?)
• Coupling asynchrony and interrupts: Place Chart Nets
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Modelling a railway crossing with message sequence charts and Petri nets
• On the power of bounded concurrency I
• Quantitative Analysis of UML Statechart Models of Dependable Systems
• Reconciling statechart semantics
• SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
• Statecharts: a visual formalism for complex systems
• What is in a step: on the semantics of statecharts

Describes a project that uses

Uses Software

• StateFlow
• PEP

This page was built for publication: Statechartable Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q470022)