scientific article
From MaRDI portal
Publication:3999014
zbMath0724.68002MaRDI QIDQ3999014
Publication date: 23 January 1993
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) Communication, information (94A99)
Related Items (13)
An analysis of the Petri net based model of the human body iron homeostasis process ⋮ Petri nets, commutative context-free grammars, and basic parallel processes ⋮ Reachability in live and safe free-choice Petri nets is NP-complete ⋮ A class of composable high level Petri nets ⋮ Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account ⋮ Graph models and mathematical programming in biochemical network analysis and metabolic engineering design ⋮ An O(¦S¦ × ¦T¦)-algorithm to verify if a net is regular ⋮ Complexity results for 1-safe nets ⋮ Symmetries in timed continuous Petri nets ⋮ Reduction techniques for network validation in systems biology ⋮ Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets ⋮ State space analysis of Petri nets with relation-algebraic methods ⋮ Modeling the process of human body iron homeostasis using a variant of timed Petri nets
This page was built for publication:
