Nantilus
Transactions on Petri Nets and Other Models of Concurrency VII
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...
Enregistré dans:
| Auteurs principaux : | , , , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Transactions on Petri Nets and Other Models of Concurrency VII / edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. |
| Édition : | 1st ed. 2013. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
| Collection : | Transactions on Petri nets and other models of concurrency (Internet) |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Contenu : | In Memoriam: Carl Adam Petri. Strategies for Modeling Complex Processes Using Colored Petri Nets. Applications of Coloured Petri Nets for Functional Validation of Protocol Designs. Business Process Modeling Using Petri Nets. Structure Theory of Petri Nets. Causality in Extensions of Petri Nets. External Behaviour of Systems of State Machines with Variables. The Synthesis Problem. Models from Scenarios. Discovering Petri Nets from Event Logs |
| Sujets : | |
| Documents associés : | Autre format:
Transactions on Petri Nets and Other Models of Concurrency VII |
Chargement en cours