Adding Invariants to Event Zone Automata

DOI10.1007/11867340_21zbMath1141.68437OpenAlexW1600767839MaRDI QIDQ3511243

Hongyang Qu, Peter Niebert

Publication date: 8 July 2008

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

Full work available at URL: https://doi.org/10.1007/11867340_21

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A concurrency-preserving translation from time Petri nets to networks of timed automata

Uses Software

• Unnamed Item

This page was built for publication: Adding Invariants to Event Zone Automata