Nets, time and space

DOI10.1016/0304-3975(95)00116-6zbMath0872.68127OpenAlexW2015010480MaRDI QIDQ672863

C. A. Petri

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00116-6

zbMATH Keywords

continuityreachabilitylivenessdualityPetri netsconcurrencyprocessescompilation of netslimits of precisionmeasurement and modeling of continuous variablessecurity constructions

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (14)

A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems ⋮ Unnamed Item ⋮ Circular Traffic Queues and Petri’s Cycloids ⋮ On Interval Semantics of Inhibitor and Activator Nets ⋮ Introduction: Threads in fuzzy Petri nets research ⋮ Aligning the representation and reality of computation with asynchronous logic automata ⋮ Diffusion approximation for signaling stochastic networks ⋮ Temporal uncertainty and fuzzy-timing high-level Petri nets ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces ⋮ Causality in physics and computation ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Orthomodular Lattices in Occurrence Nets ⋮ Deciphering the co-car anomaly of circular traffic queues using Petri nets

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Nets, time and space