Data and Abstraction for Scenario-Based Modeling with Petri Nets

DOI10.1007/978-3-642-31131-4_10zbMATH Open1357.68134OpenAlexW2167298993MaRDI QIDQ2908206

Robert Prüfer, Dirk Fahland

Publication date: 4 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/data-and-abstraction-for-scenariobased-modeling-with-petri-nets(5b4e6ab7-f483-4b3e-b231-afbddfeda749).html

zbMATH Keywords

Petri netsdataabstractionscenario-based modeling

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Title not available (Why is that?) ⋮ Verification of scenarios in Petri nets using compact tokenflows ⋮ Towards Synthesis of Petri Nets from Scenarios ⋮ Title not available (Why is that?)

This page was built for publication: Data and Abstraction for Scenario-Based Modeling with Petri Nets

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