A Formal Model for Organisational Structures behind Process-Aware Information Systems

DOI10.1007/978-3-642-00899-3_6zbMath1235.68318OpenAlexW1549434660MaRDI QIDQ3623820

Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt

Publication date: 24 April 2009

Published in: Transactions on Petri Nets and Other Models of Concurrency II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00899-3_6

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Modeling Organizational Structures and Agent Knowledge for Mulan Applications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamentals of algebraic graph transformation
• The non-sequential behaviour of Petri nets
• A Formal Framework for Adaptive Access Control Models
• Fundamental Approaches to Software Engineering

This page was built for publication: A Formal Model for Organisational Structures behind Process-Aware Information Systems