scientific article; zbMATH DE number 177243

MaRDI QIDQ4037094zbMATH OpenFDO

Authors Michel Barbeau, Gregor von Bochmann

Publication date 18 May 1993

zbMATH Keywords

finite structure Petri netsLotos specificationsP/T-net verificationplace/transition-net semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 177529
• scientific article; zbMATH DE number 1361125
• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
• scientific article; zbMATH DE number 997812
• Petri nets. Fundamental models, verification and applications.

Cited in

(9)

• Gate splitting in LOTOS specifications using abstract interpretation
• scientific article; zbMATH DE number 1696471 (Why is no real title available?)
• Verification of scenarios in Petri nets using compact tokenflows
• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
• scientific article; zbMATH DE number 177529 (Why is no real title available?)
• Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions
• Gate splitting in LOTOS specifications using abstract interpretation
• Automating (specification \(\equiv\) implementation) using equational reasoning and LOTOS
• The lotos model of a fault protected system and its verification using a petri net based approach

This page was built for publication:

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