Equivalence checking of Petri net models of programs using static and dynamic cut-points

DOI10.1007/S00236-018-0320-2zbMATH Open1430.68159OpenAlexW2800044382WikidataQ129973371 ScholiaQ129973371MaRDI QIDQ2415374FDOQ2415374

Authors: Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal 

Publication date: 21 May 2019

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-018-0320-2

Recommendations

• scientific article; zbMATH DE number 3988724
• Verifying parallel algorithms and programs using coloured Petri nets
• scientific article; zbMATH DE number 3905851
• scientific article; zbMATH DE number 4028914
• Equivalence notions applied to designing concurrent systems with the use of Petri nets

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coloured Petri Nets
• Embedded System Design
• Title not available (Why is that?)
• Validating High-Level Synthesis
• Deriving bisimulation relations from path based equivalence checkers
• Hardness of equivalence checking for composed finite-state systems
• An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
• A path construction algorithm for translation validation using PRES+ models
• Verification of Petri nets with read arcs
• Program correctness: on inductive assertion methods
• Verifying parallel algorithms and programs using coloured Petri nets
• Title not available (Why is that?)

Cited In (5)

• A model reduction method for parallel software testing
• A path construction algorithm for translation validation using PRES+ models
• Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
• Translation validation of coloured Petri net models of programs on integers
• Title not available (Why is that?)

Uses Software

• PLuTo
• SamaTulyata
• v2c
• PIPS
• Flamel
• GitHub

This page was built for publication: Equivalence checking of Petri net models of programs using static and dynamic cut-points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2415374)