Lending Petri Nets and Contracts

DOI10.1007/978-3-642-40213-5_5zbMath1434.68321arXiv1211.3624OpenAlexW2963882833MaRDI QIDQ2948238

G. Michele Pinna, Tiziana Cimoli, Massimo Bartoletti

Publication date: 30 September 2015

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.3624

Mathematics Subject Classification ID

Logic in computer science (03B70) 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 (7)

Compliance in Behavioural Contracts: A Brief Survey ⋮ Verifiable abstractions for contract-oriented systems ⋮ Debits and Credits in Petri Nets and Linear Logic ⋮ Unnamed Item ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Automata for Analysing Service Contracts ⋮ Petri nets based on Lawvere theories

This page was built for publication: Lending Petri Nets and Contracts