Modeling quantitative aspects of concurrent systems using weighted Petri net transducers

DOI10.1007/978-3-319-19488-2_3MaRDI QIDQ2941142zbMATH OpenOpenAlexFDO

Authors Robert Lorenz

Publication date 27 August 2015

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/files/55410/55410.pdf

zbMATH Keywords

bi-semiringcleannessconcurrent semiringlabelled partial orderpartial languagePetri netPetri net transducersemiringweighted labelled partial orderweighted transducer

Mathematics Subject Classification ID

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

Recommendations

• On weighted Petri net transducers
• scientific article; zbMATH DE number 4085040
• scientific article; zbMATH DE number 994066
• scientific article; zbMATH DE number 4130035
• scientific article; zbMATH DE number 744062

Cites work

• Advances in Petri nets 1992
• An open graph visualization system and its applications to software engineering
• Branching automata with costs -- a way of reflecting parallelism in costs
• Concurrent Kleene algebra and its foundations
• Extending Petri nets for specifying man–machine dialogues
• Handbook of weighted automata
• scientific article; zbMATH DE number 3735177 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 3995041 (Why is no real title available?)
• Modeling concurrency with partial orders
• Models from scenarios
• On weighted Petri net transducers
• OpenFst: A General and Efficient Weighted Finite-State Transducer Library
• Semirings and Formal Power Series
• The equational theory of pomsets
• Traces, series-parallel posets, and pictures: a weighted study
• Weighted automata algorithms
• Weighted tree automata and tree transducers

Cited in

(3)

• PNTooL
• scientific article; zbMATH DE number 4085040 (Why is no real title available?)
• On weighted Petri net transducers

Describes a project that uses

Uses Software

• SNAKES

This page was built for publication: Modeling quantitative aspects of concurrent systems using weighted Petri net transducers

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