scientific article; zbMATH DE number 750184
From MaRDI portal
Publication:4764197
zbMath0865.68084MaRDI QIDQ4764197
Publication date: 2 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (8)
A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems ⋮ Specification and performance analysis of embedded systems with coloured Petri nets ⋮ Arc-typed Petri Nets ⋮ Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters ⋮ Modelling reconfigurable manufacturing systems with coloured timed Petri nets ⋮ EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS ⋮ Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks ⋮ Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation
This page was built for publication: