Nets, time and space

DOI10.1016/0304-3975(95)00116-6zbMath0872.68127MaRDI 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

continuity; reachability; liveness; duality; Petri nets; concurrency; processes; compilation of nets; limits of precision; measurement and modeling of continuous variables; security constructions

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

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

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item