Verification of Scenarios in Petri Nets Using Compact Tokenflows

DOI10.3233/FI-2015-1172zbMath1357.68133OpenAlexW1560962653MaRDI QIDQ2805422

Robert Lorenz, Robin Bergenthum

Publication date: 11 May 2016

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2015-1172

zbMATH Keywords

verificationinhibitorPetri netscenariolabelled partial orderlabelled stratified order structuretokenflow

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)

Related Items (1)

Firing partial orders in a Petri net

This page was built for publication: Verification of Scenarios in Petri Nets Using Compact Tokenflows