scientific article
From MaRDI portal
Publication:2761706
zbMath0976.68565MaRDI QIDQ2761706
Olivier Biberstein, Nicolas Guelfi, Didier Buchs
Publication date: 7 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2001/20010073
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
A class of composable high level Petri nets ⋮ Hierarchical Set Decision Diagrams and Automatic Saturation ⋮ A wide-spectrum language for object-based development of real-time systems ⋮ Nested Petri Nets for Adaptive Process Modeling ⋮ M-nets: a survey ⋮ A semantics of sequence diagrams.
This page was built for publication:
