Nets, time and space

DOI10.1016/0304-3975(95)00116-6zbMATH Open0872.68127OpenAlexW2015010480MaRDI QIDQ672863FDOQ672863

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (21)

• 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
• Orthomodular Lattices in Occurrence Nets
• Title not available (Why is that?)
• Deciphering the co-car anomaly of circular traffic queues using Petri nets
• 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
• 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
• Circular Traffic Queues and Petri’s Cycloids
• 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

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)