The Petri Net Markup Language: Concepts, Technology and Tools

Data and Resources

Additional Info

Field Value
Source 24th international conference on Application and Theory of Petri Nets
Author Petrucci, Laure, Billington, Jonathan, Christensen, Søren, van Hee, Kees, Kindler, Ekkart, Kummer, Olaf, Post, Reinier, Stehno, Christian, Weber, Michael
Maintainer CCSD
Last Updated May 10, 2026, 09:34 (UTC)
Created May 10, 2026, 09:34 (UTC)
Identifier hal-00084186
Language en
contributor Laboratoire Spécification et Vérification [Cachan] (LSV) ; École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)
creator Petrucci, Laure
date 2003-05-10T00:00:00
harvest_object_id 5485a0b9-f589-4fe1-a55a-a779cf2a1a52
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-11-18T00:00:00
set_spec type:COMM