REGULAR STATE MACHINES

DOI10.1080/01495730008945375zbMath0968.68113OpenAlexW2508312289MaRDI QIDQ4526933

Jürgen Teich, Karsten Strehl, Lothar Thiele

Publication date: 31 January 2001

Published in: Parallel Algorithms and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01495730008945375

zbMATH Keywords

Petri netsregular state machines

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• A decidability theorem for a class of vector-addition systems
• Parallel program schemata
• Marked directed graphs
• Graph-Based Algorithms for Boolean Function Manipulation
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
• Properties of Conflict-Free and Persistent Petri Nets
• An automaton model for scheduling constraints in synchronous machines
• Free Choice Petri Nets
• The Organization of Computations for Uniform Recurrence Equations