Dealing with zero-time transitions in axiom systems.

DOI10.1006/inco.1998.2779zbMath1045.68591OpenAlexW2057724671WikidataQ114018516 ScholiaQ114018516MaRDI QIDQ1854267

Angelo Gargantini, Angelo Morzenti, Dino Mandrioli

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d9450d85c60e4df0198ce76cbea9a69cc4d16baa

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

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

Related Items (2)

A propositional linear time logic with time flow isomorphic to \(\omega^2\) ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications

Uses Software

• ASTRAL
• Esterel

Cites Work

• Nonstandard analysis in practice
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Internal set theory: A new approach to nonstandard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dealing with zero-time transitions in axiom systems.