Statechartable Petri nets
From MaRDI portal
Publication:470022
DOI10.1007/S00165-011-0204-5zbMATH Open1298.68190OpenAlexW2091334798MaRDI QIDQ470022FDOQ470022
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
Recommendations
Cites Work
- Statecharts: a visual formalism for complex systems
- Title not available (Why is that?)
- Lectures on Petri nets. 1: Basic models. Advances in Petri nets
- Title not available (Why is that?)
- On the power of bounded concurrency I
- Quantitative Analysis of UML Statechart Models of Dependable Systems
- SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
- Reconciling statechart semantics
- Title not available (Why is that?)
- 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
Uses Software
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)