Formulation of cell Petri nets

DOI10.2478/FORMA-2013-0026zbMath1298.68193OpenAlexW1991603759MaRDI QIDQ467800

Mitsuru Jitsukawa, Yasunari Shidama, Pauline N. Kawamoto

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0026

zbMATH Keywords

Petri netsystem modelling

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mechanization of proofs and logical operations (03B35)

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Free Term Algebras
• Semantics of MML Query - Ordering

This page was built for publication: Formulation of cell Petri nets