Software Engineering with Petri Nets: A Web Service and Agent Perspective

DOI10.1007/978-3-662-45730-6_3zbMath1428.68197OpenAlexW72181015MaRDI QIDQ3452472

Tobias Betz, Lawrence Cabac, Matthias Wester-Ebbinghaus, Thomas Wagner, Michael Duvigneau

Publication date: 12 November 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-662-45730-6_3

zbMATH Keywords

multi-agent systemshigh-level Petri netsweb services\textsc{Mulan}\textsc{P*aose}\textsc{Renew}

Mathematics Subject Classification ID

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

Uses Software

• Renew
• BPEL2PN
• ImageNetDiff
• Mulan/Capa

Cites Work

• Unnamed Item
• Unnamed Item
• Petri net modules in the transformation-based component framework
• Does My Service Have Partners?
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2005
• Concurrent object-oriented programming and Petri nets. Advances in Petri nets

This page was built for publication: Software Engineering with Petri Nets: A Web Service and Agent Perspective