Cited in
(36)- Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues
- Balsa: An Asynchronous Hardware Synthesis Language
- CADRE: An asynchronous embedded DSP for mobile phone applications
- Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings
- scientific article; zbMATH DE number 1820087 (Why is no real title available?)
- Verification of asynchronous systems with an unspecified component
- scientific article; zbMATH DE number 2112982 (Why is no real title available?)
- scientific article; zbMATH DE number 1955905 (Why is no real title available?)
- scientific article; zbMATH DE number 1955912 (Why is no real title available?)
- scientific article; zbMATH DE number 2112981 (Why is no real title available?)
- Compact representations and efficient algorithms for operating guidelines
- Computer Aided Verification
- Distributed simulation of asynchronous Hardware: The program driven synchronization protocol
- The power of prime cycles
- Petri Net Synthesis for Restricted Classes of Nets
- Checking timed Büchi automata emptiness efficiently
- scientific article; zbMATH DE number 5042671 (Why is no real title available?)
- Bounded choice-free Petri net synthesis: algorithmic issues
- rbminer
- TRANSYT
- Workcraft
- Wendy
- ProM
- BPEL2oWFN
- Genet
- VipTool
- Synet
- APT
- Jacco
- Applications and Theory of Petri Nets 2005
- Component refinement and CSC-solving for STG decomposition
- STG decomposition strategies in combination with unfolding
- A predictive synchronizer for periodic clock domains
- Verification of asynchronous circuits using timed automata
- Synthesising elementary net systems with localities
- scientific article; zbMATH DE number 1955907 (Why is no real title available?)
This page was built for software: Petrify
