Strong behavioral similarities in timed-arc Petri nets
From MaRDI portal
Publication:2335136
Recommendations
Cites work
- scientific article; zbMATH DE number 1696456 (Why is no real title available?)
- scientific article; zbMATH DE number 2088674 (Why is no real title available?)
- scientific article; zbMATH DE number 2081112 (Why is no real title available?)
- scientific article; zbMATH DE number 1755138 (Why is no real title available?)
- Fifty years of graph matching, network alignment and network comparison
- Removing dead transitions in timed-arc Petri nets
- TAPAAL 2.0: integrated development environment for timed-arc Petri nets
- Time-based expressivity of time Petri nets for system specification
- Verification of Timed-Arc Petri Nets
This page was built for publication: Strong behavioral similarities in timed-arc Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2335136)