Synthesis and Analysis of Product-form Petri Nets

This is a version including proofs of the conference paper: Haddad, Mairesse and Nguyen. Synthesis and Analysis of Product-form Petri Nets. Accepted at the conference Petri Nets 2011.

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00582584
Author Haddad, Serge, Mairesse, Jean, Nguyen, Hoang-Thach
Maintainer CCSD
Last Updated May 21, 2026, 23:02 (UTC)
Created May 21, 2026, 23:02 (UTC)
Identifier hal-00582584
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire Spécification et Vérification [Cachan] (LSV) ; École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)
creator Haddad, Serge
date 2011-03-21T00:00:00
harvest_object_id 75a5be16-cd90-4de5-b1da-720149b05711
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-04-01T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1104.0291
set_spec type:UNDEFINED