Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
From MaRDI portal
Publication:4923514
DOI10.1016/S1571-0661(04)80949-6zbMath1263.68094MaRDI QIDQ4923514
Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
Publication date: 24 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (1)
Uses Software
Cites Work
- Nets, time and space
- Process versus unfolding semantics for Place/Transition Petri nets
- Petri nets and algebraic specifications
- Petri nets are monoids
- Sequential and concurrent behaviour in Petri net theory
- System modelling with high-level Petri nets
- Coloured Petri nets and the invariant-method
- Conditional rewriting logic as a unified model of concurrency
- Maude: specification and programming in rewriting logic
- Specification of real-time and hybrid systems in rewriting logic
- Fifo nets without order deadlock
- Functorial models for Petri nets
- Axiomatizing the algebra of net computations and processes
- Contextual nets
- Specification and proof in membership equational logic
- A categorical linear framework for Petri nets
- FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
- Institutions: abstract model theory for specification and programming
- On the semantics of place/transition Petri nets
- From Petri nets to linear logic
- Petri Nets as Token Objects
- From Coloured Petri Nets to Object Petri Nets
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
