Nets, time and space

DOI10.1016/0304-3975(95)00116-6MaRDI QIDQ672863zbMATH OpenOpenAlexFDO

Authors 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

continuitydualityreachabilityconcurrencyPetri netsprocesseslivenesscompilation 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)

Recommendations

• scientific article; zbMATH DE number 3885322
• D-continuous causal nets: A model of non-sequential processes
• scientific article; zbMATH DE number 971794
• On nets, algebras and modularity

Cited in

(23)

• Petri's axioms of concurrency a selection of recent results
• Diffusion approximation for signaling stochastic networks
• Interval traces with mutex relation
• On Interval Semantics of Inhibitor and Activator Nets
• Circular traffic queues and Petri's cycloids
• Orthomodular Lattices in Occurrence Nets
• Deciphering the co-car anomaly of circular traffic queues using Petri nets
• scientific article; zbMATH DE number 1383329 (Why is no real title available?)
• Time and space efficient net extractor
• SPACE AND TIME IN COMPUTATION AND DISCRETE PHYSICS
• A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
• Introduction: Threads in fuzzy Petri nets research
• Causality in physics and computation
• Spacetime games subsume causal contextuality scenarios
• Interval semantics for Petri nets with inhibitor arcs
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Temporal uncertainty and fuzzy-timing high-level Petri nets
• Thinking in Cycles
• Aligning the representation and reality of computation with asynchronous logic automata
• Minimal generating sets for semiflows
• Modeling concurrency with interval traces
• THE PHASE WEB PARADIGM
• Computations in living organisms modeled by marked graphs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672863)