Formulation of cell Petri nets

DOI10.2478/FORMA-2013-0026zbMATH Open1298.68193OpenAlexW1991603759MaRDI QIDQ467800FDOQ467800

Authors: Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama 

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

Recommendations

• scientific article; zbMATH DE number 4028914
• scientific article; zbMATH DE number 107927
• From coloured Petri nets to object Petri nets
• scientific article; zbMATH DE number 4043256
• Membrane Computing

zbMATH Keywords

Petri netsystem modelling

Mathematics Subject Classification ID

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

Cites Work

• Semantics of MML query -- ordering
• Title not available (Why is that?)
• Free term algebras

Cited In (2)

• Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle
• Petri net implementations by a universal cell space

Uses Software

• Mizar

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467800)