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