scientific article
From MaRDI portal
Publication:4000457
zbMath0753.68077MaRDI QIDQ4000457
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (6)
Specification and performance analysis of embedded systems with coloured Petri nets ⋮ Temporal uncertainty and fuzzy-timing high-level Petri nets ⋮ A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets ⋮ Task net: Transactional workflow model based on colored Petri net. ⋮ Petri net based scheduling ⋮ Specification of real-time and hybrid systems in rewriting logic
This page was built for publication:
